mbox series

[kvm-unit-tests,v3,0/2] arm: MMU extentions to enable litmus7

Message ID 20201110180924.95106-1-nikos.nikoleris@arm.com (mailing list archive)
Headers show
Series arm: MMU extentions to enable litmus7 | expand

Message

Nikos Nikoleris Nov. 10, 2020, 6:09 p.m. UTC 
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@arm.com/T/
v2: https://lore.kernel.org/kvm/20201110144207.90693-1-nikos.nikoleris@arm.com/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(-)

Comments

Andrew Jones Nov. 11, 2020, 11:40 a.m. UTC | #1 
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@arm.com/T/
> v2: https://lore.kernel.org/kvm/20201110144207.90693-1-nikos.nikoleris@arm.com/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.