Hi Luca, On 25/04/2024 14:11, Luca Fancellu wrote:
Currently the code is listing device tree reserve map regions as reserved memory for Xen, but they are not added into bootinfo.reserved_mem and they are fetched in multiple places using the same code sequence, causing duplication. Fix this by adding them to the bootinfo.reserved_mem at early stage.
Do we have enough space in bootinfo.reserved_mem for them? The rest of the changes LGTM. Cheers, -- Julien Grall