After parting ways, Wind River publicly embraced Linux and open-source software while Green Hills initiated a public relations campaign decrying the use of open-source software in projects related to national security.
[6][non-primary source needed] On February 25, 2014, it was announced that the operating system Integrity had been chosen by Urban Aeronautics for their AirMule flying car unmanned aerial vehicle (UAV), since renamed the Tactical Robotics Cormorant.
An Integrity variant, named Integrity-178B, was certified to Common Criteria Evaluation Assurance Level (EAL) 6+, High Robustness in November 2008.
They are cross-platform, for 32- and 64-bit microprocessors, including RISC-V, ARM, Blackfin, ColdFire, MIPS, PowerPC, SuperH, StarCore, x86, V850, and XScale.
[14][15] TimeMachine (introduced 2003) supports reverse debugging,[16] a feature that later also became available in the free GNU Debugger (GDB) 7.0 (2009).