On 27 July 2017 at 11:59, Peter Maydell <peter.mayd...@linaro.org> wrote: > This patchset fixes some bugs in the M profile MPU code: > * the guest shouldn't be able to make system space executable > * PPB region accesses should not be subject to MPU lookups > * we were not resetting the PMSAv7 MPU state for M profile CPUs > * we weren't migrating the MPU_RNR state > > The renaming from cp15.c6_rgnr to pmsav7.rnr is not strictly > necessary for 2.10, but it doesn't affect many places in the code > and it restores the invariant that no mutable M profile CPU > state is stored in env->cp15.something fields.
Applied to target-arm queue for 2.10, with the minor function renames (s/is_/m_is_/) suggested by Philippe. thanks -- PMM
