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