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