> On 5 Jul 2023, at 14:50, Bertrand Marquis <[email protected]> wrote:
>
> 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.
Sorry Julien I answered Jan before seeing your mail but I said the same :-)
Cheers
Bertrand
>
> Cheers
> Bertrand
>
>>
>> Jan
