21 lines
466 B
Plaintext
21 lines
466 B
Plaintext
# 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.
|