Re: [PATCH v3 5/6] xen/arm: mpu: Enable MPU

[Julien Grall <julien@xxxxxxx>]

Hi Luca,

On 22/10/2024 10:41, Luca Fancellu wrote:
> > On 21 Oct 2024, at 17:27, Julien Grall <julien@xxxxxxx> wrote:
> 2) dsb+isb barrier after enabling the MPU, since we are enabling the MPU but 
> also because we are disabling the background region
TBH, I don't understand this one. Why would disabling the background 
region requires a dsb + isb? Do you have any pointer in the Armv8-R 
specification?
Cheers,

--
Julien Grall