There's at least Red Hat according to: http://www.esi.mil/AgreementList.aspx?type=2