5c5f4fee64
Signed-off-by: Robert P. J. Day <rpjday@mindspring.com> Signed-off-by: Adrian Bunk <bunk@kernel.org>
69 lines
1.4 KiB
Plaintext
69 lines
1.4 KiB
Plaintext
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 commmand 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
|