1# SPDX-License-Identifier: GPL-2.0-only 2# 3# ACPI Configuration for ARM64 4# 5 6config ACPI_IORT 7 bool 8 9config ACPI_GTDT 10 bool 11