xref: /openbmc/linux/drivers/acpi/arm64/Kconfig (revision 3cf3cdea)
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