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