xref: /openbmc/linux/drivers/acpi/arm64/Kconfig (revision 7ae9fb1b7ecbb5d85d07857943f677fd1a559b18)
1 # SPDX-License-Identifier: GPL-2.0-only
2 #
3 # ACPI Configuration for ARM64
4 #
5 
6 config ACPI_IORT
7 	bool
8 
9 config ACPI_GTDT
10 	bool
11 
12 config 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 
22 config ACPI_APMT
23 	bool
24