Linux es un nucleo del sistema operativo GNU (http://www.gnu.org) tipo Unix de libre redistribución (ver licencia GPL).