2019-05-19 12:07:45 +00:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2012-04-20 13:45:54 +00:00
|
|
|
|
2013-01-17 12:31:45 +00:00
|
|
|
config PID_IN_CONTEXTIDR
|
|
|
|
bool "Write the current PID to the CONTEXTIDR register"
|
|
|
|
help
|
|
|
|
Enabling this option causes the kernel to write the current PID to
|
|
|
|
the CONTEXTIDR register, at the expense of some additional
|
|
|
|
instructions during context switch. Say Y here only if you are
|
|
|
|
planning to use hardware trace tools with this kernel.
|
|
|
|
|
2017-02-02 17:33:19 +00:00
|
|
|
config DEBUG_EFI
|
|
|
|
depends on EFI && DEBUG_INFO
|
|
|
|
bool "UEFI debugging"
|
|
|
|
help
|
|
|
|
Enable this option to include EFI specific debugging features into
|
|
|
|
the kernel that are only useful when using a debug build of the
|
|
|
|
UEFI firmware
|
|
|
|
|
2017-03-31 07:55:33 +00:00
|
|
|
config ARM64_RELOC_TEST
|
|
|
|
depends on m
|
|
|
|
tristate "Relocation testing module"
|
|
|
|
|
2015-03-30 20:13:41 +00:00
|
|
|
source "drivers/hwtracing/coresight/Kconfig"
|