@kariboka @baudainternet Linux é uma marca registrada do Linus Torvalds; pessoal da FSF nunca pediu autorização pro Linus pra usar a marca Linux (ao contrário do Debian, Red Hat, Use, Arch...).
Além disso, tem MUITA coisa que usa o kernel Linux e não é GNU, vide seu Android e mais milhares de IoTs! xD