BinUtils for kernel

[Sorav Bansal]

> >   I was wondering if there exist tools to read the kernel image binaries
> > (compiled with -g).
> >
> >   binutils commands like addr2line complain about the kernel image being
> > in unrecognized format (understandably)
>
> Which kernel?  What format is it in?


kernel is linux 2.4.18 (distributed with Debian)

"file vmlinuz-2.4.18" gives the following information:
vmlinuz-2.4.18: Linux kernel x86 boot executable RO-rootFS,
root_dev=0x301, Normal VGA

Sorav