| Catalin Marinas | 8c2c3df | 2012-04-20 14:45:54 +0100 | [diff] [blame] | 1 | menu "Kernel hacking" |
| 2 | |
| 3 | source "lib/Kconfig.debug" |
| 4 | |
| 5 | config FRAME_POINTER |
| 6 | bool |
| 7 | default y |
| 8 | |
| Catalin Marinas | 2475ff9 | 2012-10-23 14:55:08 +0100 | [diff] [blame] | 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 | |
| Will Deacon | ec45d1c | 2013-01-17 12:31:45 +0000 | [diff] [blame] | 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 | |
| Catalin Marinas | 8c2c3df | 2012-04-20 14:45:54 +0100 | [diff] [blame] | 26 | endmenu |