Linux es el núcleo de un sistema operativo libre llamado GNU/Linux, que combina Linux con el sistema operativo GNU desarrollado por el Proyecto GNU. GNU/Linux es un ejemplo prominente de software libre cuyo código puede ser usado, modificado y redistribuido libremente bajo licencias como la GPL. Aunque popularmente se conoce como Linux, el nombre correcto es GNU/Linux porque el sistema operativo también incluye herramientas y entornos de escritorio del Proyecto GNU.