menu "Kernel hacking"
  
  source "lib/Kconfig.debug"
  
  config FULLDEBUG
  	bool "Full Symbolic/Source Debugging support"
  	help

  	  Enable debugging symbols on kernel build.

  
  config HIGHPROFILE
  	bool "Use fast second timer for profiling"
  	depends on COLDFIRE
  	help
  	  Use a fast secondary clock to produce profiling information.
  
  config BOOTPARAM
  	bool 'Compiled-in Kernel Boot Parameter'
  
  config BOOTPARAM_STRING
  	string 'Kernel Boot Parameter'
  	default 'console=ttyS0,19200'
  	depends on BOOTPARAM

  config NO_KERNEL_MSG
  	bool "Suppress Kernel BUG Messages"
  	help
  	  Do not output any debug BUG messages within the kernel.
  
  config BDM_DISABLE
  	bool "Disable BDM signals"
  	depends on (EXPERIMENTAL && COLDFIRE)
  	help
  	  Disable the ColdFire CPU's BDM signals.
  
  endmenu