Hi Bertrand, On 09/12/2020 16:31, Bertrand Marquis wrote:
Activate TID3 bit in HSR register when starting a guest.
s/HSR/HCR/
This will trap all coprecessor ID registers so that we can give to guest values corresponding to what they can actually use and mask some features to guests even though they would be supported by the underlying hardware (like SVE or MPAM).
So this will make sure the guest will not be able to identify the feature. Did you check that the features are effectively not accessible by the guest? IOW it should trap.
Cheers, -- Julien Grall
