interrupts, timer, keyboard, segments, lots of kernel code
[bootcensus] / .gdbinit
1 target remote localhost:1234
2 symbol-file test.sym