All of lore.kernel.org
 help / color / mirror / Atom feed
From: Nikos Nikoleris <nikos.nikoleris@arm.com>
To: Andrew Jones <drjones@redhat.com>
Cc: kvm@vger.kernel.org, mark.rutland@arm.com, jade.alglave@arm.com,
	luc.maranget@inria.fr, andre.przywara@arm.com,
	alexandru.elisei@arm.com
Subject: Re: [kvm-unit-tests PATCH 0/2] arm: MMU extentions to enable litmus7
Date: Tue, 3 Nov 2020 17:17:37 +0000	[thread overview]
Message-ID: <af57b60c-a7fd-7598-d054-5da162fd776d@arm.com> (raw)
In-Reply-To: <20201103170927.a4lxfu66ot2ez2kv@kamzik.brq.redhat.com>

On 03/11/2020 17:09, Andrew Jones wrote:
> 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.
> 

Hi Drew,

Thanks for the reviews!

Very happy to do that I will work with Jade and Luc to write a howto and
will post a patch soon.

Thanks,

Nikos

> Thanks,
> drew
> 

      reply	other threads:[~2020-11-03 17:17 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-11-02 11:53 [kvm-unit-tests PATCH 0/2] arm: MMU extentions to enable litmus7 Nikos Nikoleris
2020-11-02 11:53 ` [kvm-unit-tests PATCH 1/2] arm: Add mmu_get_pte() to the MMU API Nikos Nikoleris
2020-11-03 17:10   ` Andrew Jones
2020-11-05 14:27   ` Alexandru Elisei
2020-11-07 11:01     ` Nikos Nikoleris
2020-11-09 12:36       ` Alexandru Elisei
2020-11-09 12:49         ` Andrew Jones
2020-11-02 11:53 ` [kvm-unit-tests PATCH 2/2] arm: Add support for the DEVICE_nGRE and NORMAL_WT memory types Nikos Nikoleris
2020-11-03 17:10   ` Andrew Jones
2020-11-03 17:09 ` [kvm-unit-tests PATCH 0/2] arm: MMU extentions to enable litmus7 Andrew Jones
2020-11-03 17:17   ` Nikos Nikoleris [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=af57b60c-a7fd-7598-d054-5da162fd776d@arm.com \
    --to=nikos.nikoleris@arm.com \
    --cc=alexandru.elisei@arm.com \
    --cc=andre.przywara@arm.com \
    --cc=drjones@redhat.com \
    --cc=jade.alglave@arm.com \
    --cc=kvm@vger.kernel.org \
    --cc=luc.maranget@inria.fr \
    --cc=mark.rutland@arm.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.