| # 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. |