Попытка отладить ядро linux (vmlinux) с помощью gdb во время моего обучения, но после запуска ядра я просто получил "программу, завершенную с помощью 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.
ОС - Ubuntu, Kernel - 3.11.0-12-generic с символами отладки, gdb - 7.6.1-ubuntu, под VirtualBox.