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