arch/h8300/Kconfig.debug

   1 menu "Kernel hacking"
   2
   3 source "lib/Kconfig.debug"
   4
   5 config FULLDEBUG
   6         bool "Full Symbolic/Source Debugging support"
   7         help
   8           Enable debugging symbols on kernel build.
   9
  10 config HIGHPROFILE
  11         bool "Use fast second timer for profiling"
  12         help
  13           Use a fast secondary clock to produce profiling information.
  14
  15 config NO_KERNEL_MSG
  16         bool "Suppress Kernel BUG Messages"
  17         help
  18           Do not output any debug BUG messages within the kernel.
  19
  20 config GDB_MAGICPRINT
  21         bool "Message Output for GDB MagicPrint service"
  22         depends on (H8300H_SIM || H8S_SIM)
  23         help
  24           kernel messages output useing MagicPrint service from GDB
  25
  26 config SYSCALL_PRINT
  27         bool "SystemCall trace print"
  28         help
  29           outout history of systemcall
  30
  31 config GDB_DEBUG
  32         bool "Use gdb stub"
  33         depends on (!H8300H_SIM && !H8S_SIM)
  34         help
  35           gdb stub exception support
  36
  37 config CONFIG_SH_STANDARD_BIOS
  38         bool "Use gdb protocol serial console"
  39         depends on (!H8300H_SIM && !H8S_SIM)
  40         help
  41           serial console output using GDB protocol.
  42           Require eCos/RedBoot
  43
  44 config DEFAULT_CMDLINE
  45         bool "Use buildin commandline"
  46         default n
  47         help
  48           buildin kernel commandline enabled.
  49
  50 config KERNEL_COMMAND
  51         string "Buildin commmand string"
  52         depends on DEFAULT_CMDLINE
  53         help
  54           buildin kernel commandline strings.
  55
  56 config BLKDEV_RESERVE
  57         bool "BLKDEV Reserved Memory"
  58         default n
  59         help
  60           Reserved BLKDEV area.
  61
  62 config CONFIG_BLKDEV_RESERVE_ADDRESS
  63         hex 'start address'
  64         depends on BLKDEV_RESERVE
  65         help
  66           BLKDEV start address.
  67
  68 endmenu