linux/arch/h8300/Kconfig.debug
<<
>>
Prefs
   1menu "Kernel hacking"
   2
   3source "lib/Kconfig.debug"
   4
   5config FULLDEBUG
   6        bool "Full Symbolic/Source Debugging support"
   7        help
   8          Enable debugging symbols on kernel build.
   9
  10config HIGHPROFILE
  11        bool "Use fast second timer for profiling"
  12        help
  13          Use a fast secondary clock to produce profiling information.
  14
  15config NO_KERNEL_MSG
  16        bool "Suppress Kernel BUG Messages"
  17        help
  18          Do not output any debug BUG messages within the kernel.
  19
  20config GDB_MAGICPRINT
  21        bool "Message Output for GDB MagicPrint service"
  22        depends on (H8300H_SIM || H8S_SIM)
  23        help
  24          kernel messages output using MagicPrint service from GDB
  25
  26config SYSCALL_PRINT
  27        bool "SystemCall trace print"
  28        help
  29          output history of systemcall
  30
  31config GDB_DEBUG
  32        bool "Use gdb stub"
  33        depends on (!H8300H_SIM && !H8S_SIM)
  34        help
  35          gdb stub exception support
  36
  37config 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
  44config DEFAULT_CMDLINE
  45        bool "Use builtin commandline"
  46        default n
  47        help
  48          builtin kernel commandline enabled.
  49
  50config KERNEL_COMMAND
  51        string "Buildin command string"
  52        depends on DEFAULT_CMDLINE
  53        help
  54          builtin kernel commandline strings.
  55
  56config BLKDEV_RESERVE
  57        bool "BLKDEV Reserved Memory"
  58        default n
  59        help
  60          Reserved BLKDEV area.
  61
  62config BLKDEV_RESERVE_ADDRESS
  63        hex 'start address'
  64        depends on BLKDEV_RESERVE
  65        help
  66          BLKDEV start address.
  67
  68endmenu
  69
lxr.linux.no kindly hosted by Redpill Linpro AS, provider of Linux consulting and operations services since 1995.