| 1 | menu "Kernel hacking" |
| 2 | |
| 3 | source "lib/Kconfig.debug" |
| 4 | |
| 5 | config FRAME_POINTER |
| 6 | bool |
| 7 | default y |
| 8 | |
| 9 | config EARLY_PRINTK |
| 10 | bool "Early printk support" |
| 11 | default y |
| 12 | help |
| 13 | Say Y here if you want to have an early console using the |
| 14 | earlyprintk=<name>[,<addr>][,<options>] kernel parameter. It |
| 15 | is assumed that the early console device has been initialised |
| 16 | by the boot loader prior to starting the Linux kernel. |
| 17 | |
| 18 | config PID_IN_CONTEXTIDR |
| 19 | bool "Write the current PID to the CONTEXTIDR register" |
| 20 | help |
| 21 | Enabling this option causes the kernel to write the current PID to |
| 22 | the CONTEXTIDR register, at the expense of some additional |
| 23 | instructions during context switch. Say Y here only if you are |
| 24 | planning to use hardware trace tools with this kernel. |
| 25 | |
| 26 | endmenu |