According to the TLBleed #Wikipedia article, Theo de Raadt got hyperthreading turned off in #OpenBSD 4 days /prior/ to the public disclosure of #TLBleed.
https://en.wikipedia.org/wiki/TLBleed
@uranther https://marc.info/?l=openbsd-cvs&m=152950635601189&w=2
@uranther https://marc.info/?l=openbsd-cvs&m=152950635601189&w=2