From: Marc Zyngier <maz@kernel.org>
To: Gustavo Romero <gromero@redhat.com>
Cc: Sascha Bischoff <sascha.bischoff@arm.com>,
kvmarm@lists.linux.dev, fuad.tabba@linux.dev, oupton@kernel.org,
eric.auger@redhat.com, seott@redhat.com
Subject: Re: [PATCH] KVM: arm64: Decouple computation of the GICv5 trap registers from FEAT_FGT
Date: Tue, 20 Oct 2026 15:15:43 +0100 [thread overview]
Message-ID: <86tsmgzcds.wl-maz@kernel.org> (raw)
In-Reply-To: <k5dfmpduel5iejhmmk4htypmuxsoxawwsuetyivm3r6adkx2d7@wn52vb7qzmos>
On Tue, 20 Oct 2026 15:03:24 +0100,
Gustavo Romero <gromero@redhat.com> wrote:
>
> BTW, the output in the thread you pointed out:
>
> (FEAT_GCIE ==> v9Ap3)
> (FEAT_FGT ==> v8Ap5)
> (v9Ap3 ==> (v9Ap2 && v8Ap8))
>
> seems some form of processed AARCHMRS. Are you folks using any script to digest
> it?
See the tooling branch in [1]. You can point the scripts at any of the
commits to pick the version of the JSON you want.
M.
[1] git://git.kernel.org/pub/scm/linux/kernel/git/maz/AARCHMRS
--
Without deviation from the norm, progress is not possible.
next prev parent reply other threads:[~2026-10-20 14:15 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-20 10:41 [PATCH] KVM: arm64: Decouple computation of the GICv5 trap registers from FEAT_FGT Gustavo Romero
2026-10-20 10:53 ` sashiko-bot
2026-10-20 12:33 ` Gustavo Romero
2026-10-20 12:45 ` Sascha Bischoff
2026-10-20 14:03 ` Gustavo Romero
2026-10-20 14:15 ` Marc Zyngier [this message]
2026-10-20 14:32 ` Gustavo Romero
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=86tsmgzcds.wl-maz@kernel.org \
--to=maz@kernel.org \
--cc=eric.auger@redhat.com \
--cc=fuad.tabba@linux.dev \
--cc=gromero@redhat.com \
--cc=kvmarm@lists.linux.dev \
--cc=oupton@kernel.org \
--cc=sascha.bischoff@arm.com \
--cc=seott@redhat.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.