Re: [PATCH v5 20/20] target/arm: Add cpu properties for enabling FEAT_RME

[Peter Maydell]

On Tue, 20 Jun 2023 at 13:46, Richard Henderson
<richard.henderson@linaro.org> wrote:
>
> Add an x-rme cpu property to enable FEAT_RME.
> Add an x-l0gptsz property to set GPCCR_EL3.L0GPTSZ,
> for testing various possible configurations.

Looks OK to me, but I think we should document these
(including that they're experimental and future syntax for
enabling RME will change) in the "TCG VCPU Features"
section of docs/system/arm/cpu-features.rst.

We could mention in the commit message here why we're
making them experimental x- properties too.

thanks
-- PMM