https://twitter.com/dougallj https://twitter.com/dougallj has released source code (https://t.co/vaaMyajriH https://t.co/vaaMyajriH) which partially reproduces

https://twitter.com/dougallj https://twitter.com/dougallj has released source code (https://t.co/vaaMyajriH https://t.co/vaaMyajriH) which partially reproduces the problem. you need a little bit of tweaking to read kernel memory and to read the actual values. from his twitter and from i've observed sometimes the speculative code will see 0 and sometimes it will see the correct value. he speculates that it might work if the value is already in the cache.