Kernel Debugging¶

The Emulation Environment documentation explains how to start multiple virtual Linux kernels+userspace, connect them and use various helpers to test a whole linux system. But some problems can be debugged easier with the help of an actual debugger like GDB. Information about

GDB remote stubs¶

• Kernel debugging with qemu's GDB server
• Kernel debugging with kgdb
• Kernel debugging over JTAG

Various¶

• GDB Linux snippets
• Crashlog with pstore
• Crashdumps with kexec