Hi Julien,
thanks for your review.
>> +void __init setup_early_mappings(paddr_t fdt_paddr)
>> +{
>> +const char *cmdline;
>> +struct bootmodule *xen_bootmodule;
>> +
>> +device_tree_flattened = early_fdt_map(fdt_paddr);
>> +if ( !device_tree_flattened )
>> +panic("Invalid
Hi,
On 12/02/2025 09:19, Luca Fancellu wrote:
Currently start_xen() is performing some early operations using
the boot page tables that are configured during early asm boot,
before setting up the runtime page tables that might also use
the cache coloring feature.
On an MPU system the cache colo
Currently start_xen() is performing some early operations using
the boot page tables that are configured during early asm boot,
before setting up the runtime page tables that might also use
the cache coloring feature.
On an MPU system the cache coloring feature is not applicable,
also before using
