Hi Julien, >>> >>> #ifdef CONFIG_EARLY_PRINTK >>> diff --git a/xen/arch/arm/include/asm/arm64/mpu.h >>> b/xen/arch/arm/include/asm/mpu.h >> Why not in include/mpu/ ? > > Do you mean include/asm/mpu? or something different?
Yes, sorry typo, I mean include/asm/mpu/mpu.h Cheers, Luca