24 lines · plain
1# SPDX-License-Identifier: GPL-2.0-only2#3# ACPI Configuration for ARM644#5 6config ACPI_IORT7 bool8 9config ACPI_GTDT10 bool11 12config ACPI_AGDI13 bool "Arm Generic Diagnostic Dump and Reset Device Interface"14 depends on ARM_SDE_INTERFACE15 help16 Arm Generic Diagnostic Dump and Reset Device Interface (AGDI) is17 a standard that enables issuing a non-maskable diagnostic dump and18 reset command.19 20 If set, the kernel parses AGDI table and listens for the command.21 22config ACPI_APMT23 bool24