If you're the DoD and you need to run above TS-SCI stuff and somehow Windows isn't a good fit and you don't have any spare fresh-faced kids stealing your docs to impress their virtual friends or leak to newspapers, then you run RHEL on Dell servers flown over UT and Dallas stadiums with all of the S&S fees.