Files: /process/debugging/gdb-kernel-debugging.html