BinUtils for kernel

Sorav Bansal
Fri Jul 16 23:10:00 GMT 2004

> >   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


More information about the Binutils mailing list