If you're on Windows, the following script should set the necessary MSR without entirely disabling AVX. There's not really any other way to do it other than with WinRing0's driver, doing it via WinDbg is not practical at all even if you manage to run local debug. And what the DE_CFG[9] bit exactly does other than "preventing complex side effects instructions" I'm not sure, there's barely any information online, and most OS vendors are silent on this.<p><a href="https://github.com/sbaresearch/stop-zenbleed-win">https://github.com/sbaresearch/stop-zenbleed-win</a>