Linux? que distribución de Linux? se usan bastante depende para que. Pero normalmente se utiliza el SisOp que mas convenga según la aplicación, se usa de todo, no cualquier aplicación corre en cualquier SisOp o tiene igual performance dependiendo el harware.Invap usa linux (el kernel) en todos sus desarrollos.
Linux y BSD (kernel basado en unix) lo usan Rusia (Astra linux) y China (Kylin) tambien USA en algunos drones.
El CERN (Organización Europea para la Investigación Nuclear )desde hace mas de 25 años utiliza linux. Si manejar un colisionador de particulas no es una operación critica, no se me ocurre nada mejor.
Linux Software for Military Purposes - Mil-OSS
Military operations are always under the radar and are scrutinised by the nation as its top priority to protect the integrity. While each military base takes this at the core, it realises that protecting and preserving its data on its military Linux software has to be paid some heed. The...mil-oss.org
Does the military use Linux?
The United States Department of Defense uses Linux – “the U.S. Army is the single largest installed base for Red Hat Linux” and the US Navy nuclear submarine...frameboxxindore.com
Es diicil conseguir info confiable porque es clasificada
Por otro lado, hay que ver que distribución, por ejemplo: Red Hat Linux es de IBM y CBL-Mariner es de Microsot