Well, that’s what this vendor of proprietary embedded OSes that sells to the military says.
http://www.linuxdevices.com/news/NS5922153615.html
Yeah… ok… well, how do I know I can trust you, Mr Proprietary OS man. You could be putting OS timebombs in those units you’re selling to LM for the JSF so that the Chinese will be able to sshnuke JSFs from hijacked PC baangs in South Korea!