Re: [PATCH 4/4] xen/arm: Introduce fw_unreserved_regions() and use it

[Julien Grall <julien@xxxxxxx>]

Hi Stefano,

On 01/10/2020 00:40, Stefano Stabellini wrote:
> On Sat, 26 Sep 2020, Julien Grall wrote:
> I have a small suggestion for improvement that could be done on commit:
> given that bootinfo is actually used on EFI systems (granted, not
> bootinfo.reserved_mem but bootinfo.mem, see
> xen/arch/arm/efi/efi-boot.h:efi_process_memory_map_bootinfo) so
> technically bootinfo could be in-use with ACPI, maybe we could add a
> comment on top of xen/include/asm-arm/setup.h:bootinfo to say that
> reserved_mem is device tree only?
That's fine with me. I will need to resend the rest of the series, so I 
will update it at the same time.
Cheers,

--
Julien Grall