Hi Julien,
>
>> +
>> void __init setup_pagetables(void) {}
>> void * __init early_fdt_map(paddr_t fdt_paddr)
>> {
>> - BUG_ON("unimplemented");
>> - return NULL;
>> + /* Map at least a page containing the DTB address, exclusive range */
>> + paddr_t base_paddr = round_pgdown(fdt_paddr);
>
> NIT: IIRC, the minimum for the MPU is 64-byte. So is there any reason we are
> enforcing a bigger alignment?
So the original work starts from the assumption that we would like to reuse
some of the helper used for MMU, so everything is developed to work on
pages of 4kb, do you think it should change?
Cheers,
Luca
