On 11/07/2025 08:05, Hari Limaye wrote:
> Hi Michal,
>
>
>
> Thank you for reviewing the patch. To answer the following question:
>
>> > + /* DTB starting at this address has already been mapped. */
>
>> When can this happen?
>
>
>
> In xen/arch/arm/setup.c `start_xen` early_fdt_map
Hi Michal,
Thank you for reviewing the patch. To answer the following question:
> > +/* DTB starting at this address has already been mapped. */
> When can this happen?
In xen/arch/arm/setup.c `start_xen` early_fdt_map(fdt_paddr) is called twice,
before and after `setup_page_tables` - which i
On 02/07/2025 16:14, Hari Limaye wrote:
> From: Luca Fancellu
>
> Implement the function early_fdt_map(), which is responsible for mapping
> the Device Tree Blob in the early stages of the boot process, for MPU
> systems.
>
> We make use of the map_pages_to_xen() and destroy_xen_mappings() AP
From: Luca Fancellu
Implement the function early_fdt_map(), which is responsible for mapping
the Device Tree Blob in the early stages of the boot process, for MPU
systems.
We make use of the map_pages_to_xen() and destroy_xen_mappings() APIs.
In particular the latter function is necessary in the
