diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2017-04-11 18:23:12 +0100 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2017-04-11 18:23:12 +0100 |
commit | 45387f86e5c8a29eaa19b7d3dcfe00435c99c5f2 (patch) | |
tree | a97eda3c25d7d079462984192027a48c4b5a4bce | |
parent | f3756aa0db5d96caf4ab9c02c961443e8995e56a (diff) |
arm: Implement HFNMIENA support for M profile MPUv7m-mpu
Implement HFNMIENA support for the M profile MPU. This bit controls
whether the MPU is treated as enabled when executing at execution
priorities of less than zero (in NMI, HardFault or with the FAULTMASK
bit set).
Doing this requires us to use a different MMU index for "running
at execution priority < 0", because we will have different
access permissions for that case versus the normal case.
TODO:
figure out mmu index usage for M profile -- look at
v8M while we're here
identify what bits of code care about mmu index
set mmu index differently for negative-exec-prio
make regime_translation_disabled honour HFMNMIENA
0 files changed, 0 insertions, 0 deletions