reassign 703280 src:linux-tools 3.8.2-1~experimental.1 quit Hi Bob, Bob Bib wrote: > please include 'extract-vmlinux' script: <linux_src_tree_root>/scripts/extract-vmlinux > in some Linux-related binary package; > it allows extraction of a plain vmlinux from a compressed Linux kernel image, > in an easy way. What do you use it for? Curious, Jonathan