BinUtils for kernel

[Sorav Bansal]

Hi all,

  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)

thanks in advance,
Sorav