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