On Tue, 20 Jun 2023 at 13:46, Richard Henderson <richard.hender...@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
