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

Various