Next: , Previous: Device Interface, Up: Top


11 Kernel Debugger

The GNU Mach kernel debugger ddb is a powerful built-in debugger with a gdb like syntax. It is enabled at compile time using the --enable-kdb option. Whenever you want to enter the debugger while running the kernel, you can press the key combination <Ctrl-Alt-D>.