@@ -11,6 +11,7 @@ HAS_CADENCE_UART := y
HAS_NS16550 := y
HAS_MEM_ACCESS := y
HAS_GICV3 := y
+HAS_ACPI := y
# Use only if calling $(LD) directly.
LDFLAGS_DIRECT += -EL
@@ -11,7 +11,7 @@ DEFINE_XEN_GUEST_HANDLE(CHAR16);
#ifndef COMPAT
#ifdef CONFIG_ARM /* Disabled until runtime services implemented */
-const bool_t efi_enabled = 0;
+const bool_t efi_enabled = 1;
#else
# include <asm/i387.h>
# include <asm/xstate.h>
@@ -33,6 +33,11 @@
#define CONFIG_ARM_L1_CACHE_SHIFT 7 /* XXX */
+#if defined(CONFIG_ARM_64)
+#define CONFIG_ACPI 1
+#define CONFIG_ACPI_BOOT 1
+#endif
+
#define CONFIG_SMP 1
#define CONFIG_VIDEO 1