On Wed, Oct 13, 2021 at 01:03:41PM +0100, Marc Zyngier wrote: > Forward accesses to the ICV_*SGI*_EL1 registers to EL1, and > emulate ICV_SRE_EL1 by returning a fixed value. > > This should be enough to support GICv3 in a protected guest. Out of curiosity, has the RVIC work / plans been dropped? Thanks, drew