4 ms·

Obviously there is classified technical information that isn't public, but the DoD is a huge Redhat shop. Food for thought.