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
