3 #bool 'Debug kmalloc/kfree' CONFIG_DEBUG_MALLOC
5 bool "Kernel profiling support"
8 bool "System profiling support"
10 source "lib/Kconfig.debug"
13 bool "Use kernel GDB debugger"
14 depends on DEBUG_KERNEL
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
20 (gdb) set remotebaud 115200 <- kgdb uses 115200 as default
21 (gdb) target remote /dev/ttyS0 <- maybe you use another port
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!
29 bool "NMI causes oops printout"
30 depends on DEBUG_KERNEL
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.