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 buildin commandline"
46	default n
47	help
48	  buildin kernel commandline enabled.
49
50config KERNEL_COMMAND
51	string "Buildin commmand string"
52	depends on DEFAULT_CMDLINE
53	help
54	  buildin kernel commandline strings.
55
56config BLKDEV_RESERVE
57	bool "BLKDEV Reserved Memory"
58	default n
59	help
60	  Reserved BLKDEV area.
61
62config CONFIG_BLKDEV_RESERVE_ADDRESS
63	hex 'start address'
64	depends on BLKDEV_RESERVE
65	help
66	  BLKDEV start address.
67
68endmenu
69