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>.