Kconfig

 1# SPDX-License-Identifier: GPL-2.0-only
 2#
 3# ACPI Configuration for ARM64
 4#
 5
 6config ACPI_IORT
 7	bool
 8
 9config ACPI_GTDT
10	bool
11
12config ACPI_AGDI
13	bool "Arm Generic Diagnostic Dump and Reset Device Interface"
14	depends on ARM_SDE_INTERFACE
15	help
16	  Arm Generic Diagnostic Dump and Reset Device Interface (AGDI) is
17	  a standard that enables issuing a non-maskable diagnostic dump and
18	  reset command.
19
20	  If set, the kernel parses AGDI table and listens for the command.
21
22config ACPI_APMT
23	bool
24
25config ACPI_MPAM
26	bool