US government does not have a public fund or tax to pay for the development of a government sanctioned Unix/GNU operating system by a US company. Once that happens, then this issue goes away.
In reality it is more complex. However, I know the air force uses a ton of Linux and related tools such as Kubernetes and Samba. Who would've thought a fighter jet would be running kubernetes