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. 
Read More >>New Footage Reveals Wreckage Of F-35 Jet Amidst Speculation Of Potential Cyberattack