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