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