xref: /linux/drivers/acpi/arm64/Kconfig (revision d843dd530d57e75a9fd1bfd694bd1f13eb5fe8d4) 
1#
2# ACPI Configuration for ARM64
3#
4
5config ACPI_IORT
6	bool
7
8config ACPI_GTDT
9	bool
10