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
Lists.xenproject.org is hosted with RackSpace, monitoring our servers 24x7x365 and backed by RackSpace's Fanatical Support®.