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