Files: /kernel/dev-tools/gdb-kernel-debugging.html