Go to the first, previous, next, last section, table of contents.
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
@option{--enable-kdb} option. Whenever you want to enter the debugger
while running the kernel, you can press the key combination
Ctrl-Alt-D.
Go to the first, previous, next, last section, table of contents.