On Tue, Jan 31, 2023 at 09:23:56AM +0000, Marc Zyngier wrote: > diff --git a/Documentation/admin-guide/kernel-parameters.txt b/Documentation/admin-guide/kernel-parameters.txt > index 6cfa6e3996cf..b7b0704e360e 100644 > --- a/Documentation/admin-guide/kernel-parameters.txt > +++ b/Documentation/admin-guide/kernel-parameters.txt > @@ -2553,9 +2553,14 @@ > protected: nVHE-based mode with support for guests whose > state is kept private from the host. > > + nested: VHE-based mode with support for nested > + virtualization. Requires at least ARMv8.3 > + hardware. So we can't have protected + nested at the same time? ;) (I guess once you make the protected mode use VHE, this could be revisited) In the hope that this averts another post of the series: Acked-by: Catalin Marinas <catalin.marinas@xxxxxxx>