Package: linux-image-2.6.25-1-amd64 Version: 2.6.25-1 I need a vmlinux (not vmlinuz) in order to use oprofile, but this file doesn't seem to be included in any of the binary packages. Juliusz