On Mon, Nov 02, 2020 at 11:53:09AM +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 Hi Nikos, I'm glad to see this application of kvm-unit-tests. It'd be nice to extract some of the overview and howto from the blog [2] into a markdown file that we can add to the kvm-unit-tests repository. Thanks, drew