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