drivers/acpi/arm64/Kconfig

   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.