Hello,
The MPU code generated by HALCoGen includes a Data Synchronization Barrier (dsb) instruction after the reading of the SCTLR and an Instruction Synchronization Barrier (isb) instruction after the writing of the SCTLR. I have to provide a justification for all code, so I was wondering why these sync instructions were used here. Are they needed for access to SCTLR, or are they needed because the MPU is disabled/enabled?
Thanks, Charlie Johnston