2005-04-17 02:20:36 +04:00
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
2007-05-09 09:12:20 +04:00
kernel messages output using MagicPrint service from GDB
2005-04-17 02:20:36 +04:00
config SYSCALL_PRINT
bool "SystemCall trace print"
help
2007-05-09 09:12:20 +04:00
output history of systemcall
2005-04-17 02:20:36 +04:00
config GDB_DEBUG
bool "Use gdb stub"
depends on (!H8300H_SIM && !H8S_SIM)
help
gdb stub exception support
2006-02-20 15:41:55 +03:00
config SH_STANDARD_BIOS
2005-04-17 02:20:36 +04:00
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
2007-10-20 02:26:06 +04:00
bool "Use builtin commandline"
2005-04-17 02:20:36 +04:00
default n
help
2007-10-20 02:26:06 +04:00
builtin kernel commandline enabled.
2005-04-17 02:20:36 +04:00
config KERNEL_COMMAND
string "Buildin commmand string"
depends on DEFAULT_CMDLINE
help
2007-10-20 02:26:06 +04:00
builtin kernel commandline strings.
2005-04-17 02:20:36 +04:00
config BLKDEV_RESERVE
bool "BLKDEV Reserved Memory"
default n
help
Reserved BLKDEV area.
2007-09-12 02:23:41 +04:00
config BLKDEV_RESERVE_ADDRESS
2005-04-17 02:20:36 +04:00
hex 'start address'
depends on BLKDEV_RESERVE
help
BLKDEV start address.
endmenu