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