Good luck collecting on that, troll.

So because its been used in military applications, you've constructed this elaborate fantasy scenario rather than just researching its actual history? It was developed years ago as a commercial product primarily for the embedded systems market. Military aircraft are just an example of the applications it's been used for after it was already a mature commercial product.

How do you figure? The NSA didn't develop the OS, they just certified it. It was developed by a private company. The NSA makes companies pay to be tested this way, so it isn't tax payer subsidized.

No OS has ever been certified to EAL-7. Look it up with the agency that does these certifications. It's public information. Many OSs make the nebulous claim that they were designed for EAL-7, but none have been certified for it. This is the first OS to be certified to EAL-6.

This OS comes with source code that you compile yourself. High security developers can't just take another companies word for what their OS is doing. So you would be able to inspect the source code for a potential backdoor.

The source code in this case is available both to the NSA testers trying to hack it as well as to customers. "Security through obscurity" isn't good enough to get that level of EAL certification. It requires going through each line of code and proving that its secure, even to someone who knows exactly how it works. It would be theoretically possible to do it with open source, but it would require an extreme degree of organization and discipline compared to normal open source projects.