2009/10/5 Ben Hutchings <b...@decadent.org.uk>: > While we still aren't providing an uncompressed vmlinux image, it is now > possible to extract one from vmlinuz. The following Python script does > the job; give it the filename of the compressed image followed by the > filename for the uncompressed image. > > Ben. >
Yes, I thought this should be possible but did not find a tool for decompressing the kernel. Does the script also work for non-x86 architectures (or are there any that do compress the kernel besides x86 and have usable precompiled kernels)? I guess if this is packaged with oprofile and pointers to the decompression tool are added to its documentation this would resolve the issue. Perhaps even oprofile upstream might be interested in including the script. Thanks Michal -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org