BinUtils for kernel
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