On 05.07.2023 13:55, Julien Grall wrote: > --- a/xen/arch/arm/Kconfig > +++ b/xen/arch/arm/Kconfig > @@ -63,11 +63,11 @@ source "arch/Kconfig" > > config ACPI > bool "ACPI (Advanced Configuration and Power Interface) Support > (UNSUPPORTED)" if UNSUPPORTED > - depends on ARM_64 > + depends on ARM_64 && ARM_EFI
Wouldn't it make sense to drop the ARM_64 dependency then? It's now redundant, and it seems quite likely that if EFI was ever support for 32-bit, ACPI could then be supported there as well. Jan
