menu "Kernel hacking" source "lib/Kconfig.debug" config KGDB	bool "Include kgdb kernel debugger"	depends on DEBUG_KERNEL && (BROKEN || PPC_GEN550 || 4xx)	select DEBUG_INFO	help	  Include in-kernel hooks for kgdb, the Linux kernel source level	  debugger.  See <http://kgdb.sourceforge.net/> for more information.	  Unless you are intending to debug the kernel, say N here. choice	prompt "Serial Port"	depends on KGDB	default KGDB_TTYS1 config KGDB_TTYS0	bool "ttyS0" config KGDB_TTYS1	bool "ttyS1" config KGDB_TTYS2	bool "ttyS2" config KGDB_TTYS3	bool "ttyS3" endchoice config KGDB_CONSOLE	bool "Enable serial console thru kgdb port"	depends on KGDB && 8xx || CPM2	help	  If you enable this, all serial console messages will be sent	  over the gdb stub.	  If unsure, say N. config XMON	bool "Include xmon kernel debugger"	depends on DEBUG_KERNEL	help	  Include in-kernel hooks for the xmon kernel monitor/debugger.	  Unless you are intending to debug the kernel, say N here. config BDI_SWITCH	bool "Include BDI-2000 user context switcher"	depends on DEBUG_KERNEL	help	  Include in-kernel support for the Abatron BDI2000 debugger.	  Unless you are intending to debug the kernel with one of these	  machines, say N here. config SERIAL_TEXT_DEBUG	bool "Support for early boot texts over serial port"	depends on 4xx || LOPEC || MV64X60 || PPLUS || PRPMC800 || \		PPC_GEN550 || PPC_MPC52xx config PPC_OCP	bool	depends on IBM_OCP	default y endmenu