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