Package: src:linux Version: 3.2.35-2 Severity: wishlist Dear Maintainer,
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. -- Package-specific info: ** Version: Linux version 3.2.0-4-amd64 ([email protected]) (gcc version 4.6.3 (Debian 4.6.3-14) ) #1 SMP Debian 3.2.35-2 ** Command line: BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-amd64 root=UUID=... ro -- System Information: Debian Release: 7.0 APT prefers testing APT policy: (500, 'testing') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash ---- Best wishes, Bob
