1# SPDX-License-Identifier: GPL-2.0-only
2
3config 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
11config 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
19config ARM64_RELOC_TEST
20	depends on m
21	tristate "Relocation testing module"
22
23source "drivers/hwtracing/coresight/Kconfig"
24