kernel debug with gdb/ddd
http://www.cs.wm.edu/~kearns/001lab.d/kernel_gdb...