1menu "Kernel hacking" 2 3#bool 'Debug kmalloc/kfree' CONFIG_DEBUG_MALLOC 4config PROFILING 5 bool "Kernel profiling support" 6 7config SYSTEM_PROFILER 8 bool "System profiling support" 9 10source "lib/Kconfig.debug" 11 12config ETRAX_KGDB 13 bool "Use kernel GDB debugger" 14 depends on DEBUG_KERNEL 15 ---help--- 16 The CRIS version of gdb can be used to remotely debug a running 17 Linux kernel via the serial debug port. Provided you have gdb-cris 18 installed, run gdb-cris vmlinux, then type 19 20 (gdb) set remotebaud 115200 <- kgdb uses 115200 as default 21 (gdb) target remote /dev/ttyS0 <- maybe you use another port 22 23 This should connect you to your booted kernel (or boot it now if you 24 didn't before). The kernel halts when it boots, waiting for gdb if 25 this option is turned on! 26 27 28config DEBUG_NMI_OOPS 29 bool "NMI causes oops printout" 30 depends on DEBUG_KERNEL 31 help 32 If the system locks up without any debug information you can say Y 33 here to make it possible to dump an OOPS with an external NMI. 34 35endmenu 36