0001 # SPDX-License-Identifier: GPL-2.0-only
0002 #
0003 # ACPI Configuration for ARM64
0004 #
0005
0006 config ACPI_IORT
0007 bool
0008
0009 config ACPI_GTDT
0010 bool
0011
0012 config ACPI_AGDI
0013 bool "Arm Generic Diagnostic Dump and Reset Device Interface"
0014 depends on ARM_SDE_INTERFACE
0015 help
0016 Arm Generic Diagnostic Dump and Reset Device Interface (AGDI) is
0017 a standard that enables issuing a non-maskable diagnostic dump and
0018 reset command.
0019
0020 If set, the kernel parses AGDI table and listens for the command.
