# 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. config ACPI_APMT bool
