pok-kernel/pok — pull request #2 by phipse (2014-08-12 19:46:23+00:00)
Title: Develguide: Added Troubleshooting section in GDB.

This explains details on how to use the add-symbol-file command in gdb.