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"
  	help
  	  Use a fast secondary clock to produce profiling information.
  
  config NO_KERNEL_MSG
  	bool "Suppress Kernel BUG Messages"
  	help
  	  Do not output any debug BUG messages within the kernel.
  
  config GDB_MAGICPRINT
  	bool "Message Output for GDB MagicPrint service"
  	depends on (H8300H_SIM || H8S_SIM)
  	help

  	  kernel messages output using MagicPrint service from GDB

  
  config SYSCALL_PRINT
  	bool "SystemCall trace print"
  	help

  	  output history of systemcall

  
  config GDB_DEBUG
     	bool "Use gdb stub"
  	depends on (!H8300H_SIM && !H8S_SIM)
  	help
  	  gdb stub exception support

  config SH_STANDARD_BIOS

  	bool "Use gdb protocol serial console"
  	depends on (!H8300H_SIM && !H8S_SIM)
  	help
  	  serial console output using GDB protocol.
  	  Require eCos/RedBoot
  
  config DEFAULT_CMDLINE

  	bool "Use builtin commandline"

  	default n
  	help

  	  builtin kernel commandline enabled.

  
  config KERNEL_COMMAND

  	string "Buildin command string"

  	depends on DEFAULT_CMDLINE
  	help

  	  builtin kernel commandline strings.

  
  config BLKDEV_RESERVE
  	bool "BLKDEV Reserved Memory"
  	default n
  	help
  	  Reserved BLKDEV area.

  config BLKDEV_RESERVE_ADDRESS

  	hex 'start address'
  	depends on BLKDEV_RESERVE
  	help
  	  BLKDEV start address.
  
  endmenu