Richard, The exploit provided by https://github.com/paboldin/meltdown-exploit is easily adapted to become a side-channel check, which should be enough to check for general vulnerability without exploiting it. I will prepare a pull request. -- Pavel