Linux Support
Let me repeat this: there are probably tens of thousands of highly experienced Linux software engineers in the U.S. alone. Some of them work for the big Linux companies such as Redhat, Oracle, HPE. Many more work for smaller consultancies and many are self-employed.
A lot of them have all the clearances the government needs. Many more are eligible. Your fear-spreading about this aspect is baseless.
The government are idiots when they give more than 30% of their business to a single supplier. Instead, they should have serious Apple, Google Chrome and Linux seat populations. The data center should be a healthy mix of LInux, BSDs, commercial Unix, Windows Server and mainframes.
I have seen the internals of Deutsche Börse, which can easily compete with most government agencies in terms of computing power. Their Linux based trading system works very nicely. So does Google Chrome, Google Search, Facebook and many other large scale cloud systems.