On Tue, Nov 10, 2020 at 06:09:22PM +0000, Nikos Nikoleris wrote: > Hi all, > > litmus7 [1][2], a tool that we develop and use to test the memory > model on hardware, is building on kvm-unit-tests to encapsulate full > system tests and control address translation. This series extends the > kvm-unit-tests arm MMU API and adds two memory attributes to MAIR_EL1 > to make them available to the litmus tests. > > [1]: http://diy.inria.fr/doc/litmus.html > [2]: https://community.arm.com/developer/ip-products/processors/b/processors-ip-blog/posts/expanding-memory-model-tools-system-level-architecture > > v1: https://lore.kernel.org/kvm/20201102115311.103750-1-nikos.nikoleris@xxxxxxx/T/ > v2: https://lore.kernel.org/kvm/20201110144207.90693-1-nikos.nikoleris@xxxxxxx/T/#u > > Changes in v3: > - Moved comment on break-before make > > Changes in v2: > - Add comment on break-before-make in get_mmu_pte() > - Signed-off-by tag from all co-authors > - Minor formatting changes > > Thanks, > > Nikos > > Luc Maranget (1): > arm: Add mmu_get_pte() to the MMU API > > Nikos Nikoleris (1): > arm: Add support for the DEVICE_nGRE and NORMAL_WT memory types > > lib/arm/asm/mmu-api.h | 1 + > lib/arm64/asm/pgtable-hwdef.h | 2 ++ > lib/arm/mmu.c | 32 +++++++++++++++++++++----------- > arm/cstart64.S | 6 +++++- > 4 files changed, 29 insertions(+), 12 deletions(-) > > -- > 2.17.1 > Applied, thanks.