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? Many thanks, Hari
