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 11*a2a591fbSIlkka Koskinen 12*a2a591fbSIlkka Koskinenconfig ACPI_AGDI 13*a2a591fbSIlkka Koskinen bool "Arm Generic Diagnostic Dump and Reset Device Interface" 14*a2a591fbSIlkka Koskinen depends on ARM_SDE_INTERFACE 15*a2a591fbSIlkka Koskinen help 16*a2a591fbSIlkka Koskinen Arm Generic Diagnostic Dump and Reset Device Interface (AGDI) is 17*a2a591fbSIlkka Koskinen a standard that enables issuing a non-maskable diagnostic dump and 18*a2a591fbSIlkka Koskinen reset command. 19*a2a591fbSIlkka Koskinen 20*a2a591fbSIlkka Koskinen If set, the kernel parses AGDI table and listens for the command. 21