Tentando depurar o kernel do linux (vmlinux) com o gdb durante minha educação, mas depois de rodar o kernel eu acabei de receber o "programa terminado com o 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-genérico com símbolos de depuração, gdb - 7.6.1-ubuntu, no VirtualBox.