# SPDX-License-Identifier: GPL-2.0-only | |
# | |
# ACPI Configuration for ARM64 | |
# | |
config ACPI_IORT | |
bool | |
config ACPI_GTDT | |
bool | |
config ACPI_AGDI | |
bool "Arm Generic Diagnostic Dump and Reset Device Interface" | |
depends on ARM_SDE_INTERFACE | |
help | |
Arm Generic Diagnostic Dump and Reset Device Interface (AGDI) is | |
a standard that enables issuing a non-maskable diagnostic dump and | |
reset command. | |
If set, the kernel parses AGDI table and listens for the command. |