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