1menu "Kernel hacking" 2 3source "lib/Kconfig.debug" 4 5config KGDB 6 bool "Include kgdb kernel debugger" 7 depends on DEBUG_KERNEL && (BROKEN || PPC_GEN550 || 4xx) 8 select DEBUG_INFO 9 help 10 Include in-kernel hooks for kgdb, the Linux kernel source level 11 debugger. See <http://kgdb.sourceforge.net/> for more information. 12 Unless you are intending to debug the kernel, say N here. 13 14choice 15 prompt "Serial Port" 16 depends on KGDB 17 default KGDB_TTYS1 18 19config KGDB_TTYS0 20 bool "ttyS0" 21 22config KGDB_TTYS1 23 bool "ttyS1" 24 25config KGDB_TTYS2 26 bool "ttyS2" 27 28config KGDB_TTYS3 29 bool "ttyS3" 30 31endchoice 32 33config KGDB_CONSOLE 34 bool "Enable serial console thru kgdb port" 35 depends on KGDB && 8xx || CPM2 36 help 37 If you enable this, all serial console messages will be sent 38 over the gdb stub. 39 If unsure, say N. 40 41config XMON 42 bool "Include xmon kernel debugger" 43 depends on DEBUG_KERNEL 44 help 45 Include in-kernel hooks for the xmon kernel monitor/debugger. 46 Unless you are intending to debug the kernel, say N here. 47 48config BDI_SWITCH 49 bool "Include BDI-2000 user context switcher" 50 depends on DEBUG_KERNEL 51 help 52 Include in-kernel support for the Abatron BDI2000 debugger. 53 Unless you are intending to debug the kernel with one of these 54 machines, say N here. 55 56config SERIAL_TEXT_DEBUG 57 bool "Support for early boot texts over serial port" 58 depends on 4xx || LOPEC || MV64X60 || PPLUS || PRPMC800 || \ 59 PPC_GEN550 || PPC_MPC52xx 60 61config PPC_OCP 62 bool 63 depends on IBM_OCP 64 default y 65 66endmenu 67