1menu "Kernel hacking" 2 3source "lib/Kconfig.debug" 4 5config FULLDEBUG 6 bool "Full Symbolic/Source Debugging support" 7 help 8 Enable debugging symbols on kernel build. 9 10config HIGHPROFILE 11 bool "Use fast second timer for profiling" 12 help 13 Use a fast secondary clock to produce profiling information. 14 15config NO_KERNEL_MSG 16 bool "Suppress Kernel BUG Messages" 17 help 18 Do not output any debug BUG messages within the kernel. 19 20config GDB_MAGICPRINT 21 bool "Message Output for GDB MagicPrint service" 22 depends on (H8300H_SIM || H8S_SIM) 23 help 24 kernel messages output using MagicPrint service from GDB 25 26config SYSCALL_PRINT 27 bool "SystemCall trace print" 28 help 29 output history of systemcall 30 31config GDB_DEBUG 32 bool "Use gdb stub" 33 depends on (!H8300H_SIM && !H8S_SIM) 34 help 35 gdb stub exception support 36 37config SH_STANDARD_BIOS 38 bool "Use gdb protocol serial console" 39 depends on (!H8300H_SIM && !H8S_SIM) 40 help 41 serial console output using GDB protocol. 42 Require eCos/RedBoot 43 44config DEFAULT_CMDLINE 45 bool "Use builtin commandline" 46 default n 47 help 48 builtin kernel commandline enabled. 49 50config KERNEL_COMMAND 51 string "Buildin commmand string" 52 depends on DEFAULT_CMDLINE 53 help 54 builtin kernel commandline strings. 55 56config BLKDEV_RESERVE 57 bool "BLKDEV Reserved Memory" 58 default n 59 help 60 Reserved BLKDEV area. 61 62config BLKDEV_RESERVE_ADDRESS 63 hex 'start address' 64 depends on BLKDEV_RESERVE 65 help 66 BLKDEV start address. 67 68endmenu 69