arch/cris/Kconfig.debug

   1 menu "Kernel hacking"
   2
   3 source "lib/Kconfig.debug"
   4
   5 #bool 'Debug kmalloc/kfree' CONFIG_DEBUG_MALLOC
   6 config PROFILE
   7         bool "Kernel profiling support"
   8
   9 config PROFILE_SHIFT
  10         int "Profile shift count"
  11         depends on PROFILE
  12         default "2"
  13
  14 config ETRAX_KGDB
  15         bool "Use kernel GDB debugger"
  16         ---help---
  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
  20
  21           (gdb) set remotebaud 115200           <- kgdb uses 115200 as default
  22           (gdb) target remote /dev/ttyS0        <- maybe you use another port
  23
  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!
  27
  28 endmenu