| 1 | # SPDX-License-Identifier: GPL-2.0-only |
| 2 | |
| 3 | config PID_IN_CONTEXTIDR |
| 4 | bool "Write the current PID to the CONTEXTIDR register" |
| 5 | help |
| 6 | Enabling this option causes the kernel to write the current PID to |
| 7 | the CONTEXTIDR register, at the expense of some additional |
| 8 | instructions during context switch. Say Y here only if you are |
| 9 | planning to use hardware trace tools with this kernel. |
| 10 | |
| 11 | config DEBUG_EFI |
| 12 | depends on EFI && DEBUG_INFO |
| 13 | bool "UEFI debugging" |
| 14 | help |
| 15 | Enable this option to include EFI specific debugging features into |
| 16 | the kernel that are only useful when using a debug build of the |
| 17 | UEFI firmware |
| 18 | |
| 19 | config ARM64_RELOC_TEST |
| 20 | depends on m |
| 21 | tristate "Relocation testing module" |
| 22 | |
| 23 | source "drivers/hwtracing/coresight/Kconfig" |