From: Shannon Zhao Date: Wed, 30 Mar 2016 15:06:49 +0000 (+0200) Subject: arm64: Add ACPI support X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~1450 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=a9b938788f4992e80115f8d9dad0e46d1976d6e7;p=xen.git arm64: Add ACPI support Add ACPI support on arm64 xen hypervisor. Enable EFI support on ARM. Signed-off-by: Shannon Zhao Acked-by: Jan Beulich Reviewed-by: Stefano Stabellini Acked-by: Julien Grall --- diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig index cb99df5655..6231cd5dee 100644 --- a/xen/arch/arm/Kconfig +++ b/xen/arch/arm/Kconfig @@ -33,6 +33,15 @@ menu "Architecture Features" source "arch/Kconfig" +config ACPI + bool + prompt "ACPI (Advanced Configuration and Power Interface) Support" if EXPERT = "y" + depends on ARM_64 + ---help--- + + Advanced Configuration and Power Interface (ACPI) support for Xen is + an alternative to device tree on ARM64. + # Select HAS_GICV3 if GICv3 is supported config HAS_GICV3 bool diff --git a/xen/common/efi/runtime.c b/xen/common/efi/runtime.c index ae875570fb..c256814967 100644 --- a/xen/common/efi/runtime.c +++ b/xen/common/efi/runtime.c @@ -10,14 +10,16 @@ DEFINE_XEN_GUEST_HANDLE(CHAR16); #ifndef COMPAT -#ifdef CONFIG_ARM /* Disabled until runtime services implemented */ -const bool_t efi_enabled = 0; -#else +/* + * Currently runtime services are not implemented on ARM. To boot Xen with ACPI, + * set efi_enabled to 1, so that Xen can get the ACPI root pointer from EFI. + */ +const bool_t efi_enabled = 1; + +#ifndef CONFIG_ARM # include # include # include - -const bool_t efi_enabled = 1; #endif unsigned int __read_mostly efi_num_ct;