Hi Luca, On 22/10/2024 10:41, Luca Fancellu wrote:
On 21 Oct 2024, at 17:27, Julien Grall <jul...@xen.org> 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
