Quelle  Kconfig   Sprache: C

# 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