On Thu, 2015-02-05 at 11:58 +0000, Jan Beulich wrote: > >>> On 05.02.15 at 06:31, <julien.gr...@linaro.org> wrote: > >> --- a/xen/common/efi/runtime.c > >> +++ b/xen/common/efi/runtime.c > >> @@ -11,7 +11,13 @@ DEFINE_XEN_GUEST_HANDLE(CHAR16); > >> #ifndef COMPAT > >> > >> #ifdef CONFIG_ARM /* Disabled until runtime services implemented */ > > > > This comment seems irrelevant now. > > > >> + > >> +#if defined(CONFIG_ARM_64) && defined(CONFIG_ACPI) > > > > #ifdef CONFIG_ACPI > > This is common code, and I can't see ACPI and EFI being always in the > same supported state (or else we could drop one of the two).
EFI without ACPI is certainly a possibility on ARM64. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
