http://h41379.www4.hpe.com/doc/84final/4538/4538pro_contents.html
https://kgdb.wiki.kernel.org/index.php/Main_Page
http://www.linuxjournal.com/article/4681?page=0,1
https://www.kernel.org/doc/Documentation/dynamic-debug-howto.txt
http://www.ibm.com/developerworks/library/l-gdb/index.html
https://www.kernel.org/pub/linux/kernel/people/jwessel/kgdb/
http://www.elinux.org/Debugging_The_Linux_Kernel_Using_Gdb
https://www.kernel.org/pub/linux/kernel/people/jwessel/dbg_webinar/