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.