# 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.