@@ -14,6 +14,7 @@ config ARM_64
def_bool y
depends on 64BIT
select HAS_GICV3
+ select HAS_ACPI
config ARM
def_bool y
@@ -10,8 +10,12 @@ DEFINE_XEN_GUEST_HANDLE(CHAR16);
#ifndef COMPAT
-#ifdef CONFIG_ARM /* Disabled until runtime services implemented */
-const bool_t efi_enabled = 0;
+#ifdef CONFIG_ARM
+/* Currently it doesn't implement runtime services on ARM, but to boot Dom0 with
+ * ACPI it needs to assign efi_enabled with 1 to get acpi_os_get_root_pointer
+ * work.
+ */
+const bool_t efi_enabled = 1;
#else
# include <asm/i387.h>
# include <asm/xstate.h>
@@ -36,6 +36,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