On Mon, 09 Sep 2024 18:50:00 +0100, Marc Zyngier <maz@xxxxxxxxxx> wrote: > > > Ok. Just to clarify that " not necessarily any value lower than what's reported by > > hardware" means userspace can set PIPT if hardware supports VIPT? > > No, exactly the opposite. If the HW advertises VIPT, we can set s/can/can't/, dammit! > anything else. If the HW advertises PIPT, we can lie to the guest and > set VIPT. And if the HW advertises any of the two reserved values, it > can but in hell... ;-) M. -- Without deviation from the norm, progress is not possible.
