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(fdt_paddr) is called twice,
> 
> before and after `setup_page_tables` - which is a no-op on an MPU system. This
> 
> seemed like the neatest way to handle this - but maybe you'd prefer further
> 
> clarification in the comment here?
Yes, I would like this comment to be improved a bit.

~Michal


Reply via email to