| 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 |
