Sign in
linux
/
linux
/
kernel
/
git
/
klassert
/
ipsec
/
4ddacd525a2f16cebec8ba409fbce6b6fb45e987
/
.
/
drivers
/
acpi
/
arm64
/
Kconfig
blob: 6dba187f4f2e009db9200f2dc96644ffcadbc62b [
file
]
# SPDX-License-Identifier: GPL-2.0-only
#
# ACPI Configuration for ARM64
#
config ACPI_IORT
bool
config ACPI_GTDT
bool
