Mencoba men-debug kernel Linux (vmlinux) dengan gdb selama pendidikan saya, tetapi setelah saya menjalankan kernel saya baru saja mendapatkan "program diakhiri dengan SIGKILL":
gdb vmlinux-3.11.0-12-generic
...GDB header...
Reading symbols from ....
(gdb) break start_kernel
(gdb) break init/main.c:1
(gdb) run
Starting program: .../vmlinux...
During startup program terminated with signal SIGKILL, Killed.
OS - Ubuntu, Kernel - 3.11.0-12-generik dengan simbol debug, gdb - 7.6.1-ubuntu, di bawah VirtualBox.