3 ms·DoD does use Red Hat (a ton). Not for this, apparently, but for plenty of other things.by dralley 1y agoDoD does use Red Hat (a ton). Not for this, apparently, but for plenty of other things.