More MPU work#9061

Merged

cmonr merged 9 commits intoARMmbed:masterfrom

kjbracey:more_mpu_work

Dec 19, 2018

Commits on Dec 11, 2018

Use MPU platform deinit rather than hal free

c1728p9
authored and
kjbracey
committed
Fix MPU synchronisation
kjbracey
committed
Reduce dynamic MPU code size with a loop
kjbracey
committed

Commits on Dec 18, 2018

Update MPU ram/rom split for Nuvoton M2351
c1728p9
committed