Hi Jan, > On 5 Jul 2023, at 14:04, Jan Beulich <[email protected]> wrote: > > 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.
I think we need to keep it. If we add one day EFI support on arm32, we will probably not add ACPI support anyway. Cheers Bertrand > > Jan
