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 o distribuciones que agregan software adicional para satisfacer las necesidades de grupos de usuarios específicos. GNU/Linux domina el mercado de servidores y supercomputadoras, con cuotas de mercado superiores al 78% y 89% respectivamente, y también se usa aunque en menor medida en escritorios, port