Cuando la gente de Linux se preocupa por esto, el nombre que normalmente se murmura es “Red Hat”, que es el mayor y más exitoso de los distribuidores (con una cuota de mercado estimada de alrededor del 90% en los Estados Unidos).