The kernel is not runnable as a classical userland executable
is (that is why you cannot run it from GDB), even if the binary
formats are the same (that is why you can open it in GDB, and
even put a breakpoint on a symbol).
You must debug a running kernel, be it on your target hardware
or an emulator, and use the proposed documentation reference.
---------------------------------------
Posted through
http://www.EmbeddedRelated.com