O Linux é um sistema operacional com licença de uso do tipo: