en octubre de 2011, la Fuerza Aérea de EE.UU sustituyó dicho sistema operativo por otro basado en GNU/Linux.