Improved debugging efficiency and thoroughness by writing a powerful checker that consumes initialization rules, client BIOS logs, client policy decisions (straps), and checks for initialization correctness
Collaborated with our firmware team to boot Intel BIOS code in QEMU
