1ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 288ef16d8STomasz Nowicki# 388ef16d8STomasz Nowicki# ACPI Configuration for ARM64 488ef16d8STomasz Nowicki# 588ef16d8STomasz Nowicki 688ef16d8STomasz Nowickiconfig ACPI_IORT 788ef16d8STomasz Nowicki bool 85f1ae4ebSFu Wei 95f1ae4ebSFu Weiconfig ACPI_GTDT 105f1ae4ebSFu Wei bool 11a2a591fbSIlkka Koskinen 12a2a591fbSIlkka Koskinenconfig ACPI_AGDI 13a2a591fbSIlkka Koskinen bool "Arm Generic Diagnostic Dump and Reset Device Interface" 14a2a591fbSIlkka Koskinen depends on ARM_SDE_INTERFACE 15a2a591fbSIlkka Koskinen help 16a2a591fbSIlkka Koskinen Arm Generic Diagnostic Dump and Reset Device Interface (AGDI) is 17a2a591fbSIlkka Koskinen a standard that enables issuing a non-maskable diagnostic dump and 18a2a591fbSIlkka Koskinen reset command. 19a2a591fbSIlkka Koskinen 20a2a591fbSIlkka Koskinen If set, the kernel parses AGDI table and listens for the command. 21*6251d380SBesar Wicaksono 22*6251d380SBesar Wicaksonoconfig ACPI_APMT 23*6251d380SBesar Wicaksono bool 24