3 source "lib/Kconfig.debug"
5 #bool 'Debug kmalloc/kfree' CONFIG_DEBUG_MALLOC
7 bool "Kernel profiling support"
10 int "Profile shift count"
15 bool "Use kernel GDB debugger"
17 The CRIS version of gdb can be used to remotely debug a running
18 Linux kernel via the serial debug port. Provided you have gdb-cris
19 installed, run gdb-cris vmlinux, then type
21 (gdb) set remotebaud 115200 <- kgdb uses 115200 as default
22 (gdb) target remote /dev/ttyS0 <- maybe you use another port
24 This should connect you to your booted kernel (or boot it now if you
25 didn't before). The kernel halts when it boots, waiting for gdb if
26 this option is turned on!