menu "Kernel hacking"
  
  config TRACE_IRQFLAGS_SUPPORT
  	bool
  	default y
  
  source "lib/Kconfig.debug"
  
  config CMDLINE
  	string "Default kernel command string"
  	default ""
  	help
  	  On some platforms, there is currently no way for the boot loader to
  	  pass arguments to the kernel. For these platforms, you can supply
  	  some command-line options at build time by entering them here.  In
  	  other cases you can specify kernel args so that you don't have
  	  to set them up in board prom initialization routines.

  config RUNTIME_DEBUG
  	bool "Enable run-time debugging"
  	depends on DEBUG_KERNEL
  	help
  	  If you say Y here, some debugging macros will do run-time checking.
  	  If you say N here, those macros will mostly turn to no-ops.  See
  	  include/asm-score/debug.h for debuging macros.
  	  If unsure, say N.
  
  endmenu