Sorav Bansal <sbansal@stanford.edu> writes: > 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? Ian