GNU/Linux es un sistema operativo libre formado por el núcleo Linux y las herramientas del proyecto GNU. Aunque popularmente se le conoce como Linux, su nombre correcto es GNU/Linux. Se distribuye en diferentes versiones creadas para satisfacer las necesidades de grupos de usuarios específicos. GNU/Linux domina el mercado de servidores y supercomputadoras, ejecutándose en el 78% de los principales 500 servidores del mundo y el 89% de los 500 supercomputadores más poderosos.