Using kgdb

• Details available in the kernel documentation: http://free-electrons.com/kerneldoc/latest/DocBook/kgdb/

• Recommended to turn on CONFIG_FRAME_POINTER to aid in producing more reliable stack backtraces in gdb.

• You must include a kgdb I/O driver. One of them is kgdb over serial console (kgdboc: kgdb over console, enabled by CONFIG_KGDB_SERIAL_CONSOLE)

• Configure kgdboc at boot time by passing to the kernel: kgdboc=<tty-device>,[baud]. For example: kgdboc=ttyS0,115200