1#
2# ACPI Configuration for ARM64
3#
4
5config ACPI_IORT
6	bool
7
8config ACPI_GTDT
9	bool
10