I think if the military wants to use it they should at least give their training program up to download, or pay some full-time developers to improve the Linux Kernel (or other open source project) and publicly release the modifications, it would be better for them and everyone, and why wouldn't they do that they have billions (trillions?) of dollars to spend.