I'm led to believe that the DoD is Red Hat's largest customer. This is based on my own experience seeing and using various systems in the US Army (most notably

I'm led to believe that the DoD is Red Hat's largest customer. This is based on my own experience seeing and using various systems in the US Army (most notably FBCB2 [0]), plus a quick web search which turned up a few articles that agree with me without giving any actual data or source. [0] https://en.wikipedia.org/wiki/Force_XXI_Battle_Command_Brigade_and_Below https://en.wikipedia.org/wiki/Force_XXI_Battle_Command_Briga...