On 20/02/2020 10:13, speck for Borislav Petkov wrote:
> On Thu, Feb 20, 2020 at 10:10:03AM +0000, speck for Andrew Cooper wrote:
>> Because it is under embargo until May 12th.
> Maybe 2/2 is - which I don't have in my mbox - but by staring only at
> 1/2 there's nothing to embargo there AFAICT.
>

Right, but a lone patch (coming pre-reviewed even!) adding stepping
support into the speculative model checking is going to be about as
subtle as the KPTI work was :)

~Andrew