Sign in
linux
/
linux
/
kernel
/
git
/
gregkh
/
usb
/
f82e7b57b5fc48199e2f26ffafe2f96f7338ad3d
/
.
/
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