https://twitter.com/ryanmaple/status/898616746717741058 Microprograms related to our x86 microcode update paper (see https://t.co/kpBETIzbNa) are now available at https://t.co/Tx6xgAdsyT #usesec17 — Thorsten Holz (@thorstenholz) August 19, 2017 https://github.com/RUB-SysSec/Microcode “This repository contains a collection of x86 CPU microcode samples in binary and rtl form. The samples are compiled from scratch and specifically work with AMD’s K10 processor family.”