The US DoD uses lots of open source software to power their infrastructure. Docker and Kubernetes for example are widely used and publicly disclosed.