On Sat, 20 Jan 2018, Thomas Gleixner wrote:
> On Sat, 20 Jan 2018, David Woodhouse wrote:
>
> > When they advertise the IA32_ARCH_CAPABILITIES MSR and it has the RDCL_NO
> > bit set, they don't need KPTI either.
>
> Do they exist today? And do we have documentation for that new MSR already?
Scratch the seconds question. It's in that spec mitigations PDF.
The first question stands.
Thanks,
tglx
