drivers/acpi/arm64/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0-only
   2 #
   3 # ACPI Configuration for ARM64
   4 #
   5
   6 config ACPI_IORT
   7         bool
   8
   9 config ACPI_GTDT
  10         bool