Sign in
zircon-guest
/
third_party
/
linux
/
50071aed9749ccbb7f65351a07707be8f654fa50
/
.
/
drivers
/
acpi
/
arm64
/
Kconfig
blob: 6dba187f4f2e009db9200f2dc96644ffcadbc62b [
file
] [
log
] [
blame
]
# SPDX-License-Identifier: GPL-2.0-only
#
# ACPI Configuration for ARM64
#
config ACPI_IORT
bool
config ACPI_GTDT
bool