1 # SPDX-License-Identifier: GPL-2.0-only 2 # 3 # ACPI Configuration for ARM64 4 # 5 6 config ACPI_IORT 7 bool 8 9 config ACPI_GTDT 10 bool 11 12 config 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 22 config ACPI_APMT 23 bool 24