Ian Miles Cheong
"Green Hills Software produces the Integrity 178B Operating System that powers the F-35, F-22, F-16, and B-2. It also powers the Airbus A380. It was also quite possibly leaked. Now you understand why the entire USMC air fleet has been grounded.
Fun fact: the CEO of Green Hills Software is none other than infamous Elon Musk hater Dan O'Dowd."