Barrapunto

Considero que es preferible atenerse a los proyectos de software más grandes que forman un sistema, para dar crédito donde toca, por lo que es defendible llamarlo GNU/Linux, sobretodo si usas GNOME, teniendo en cuenta que GNOME es parte de GNU y ambos suman, con mucho, la mayor parte de las líneas de código de lo que tienes instalado, además del compilador que compiló casi todas las demás.

Informalmente a veces digo sólo Linux, pero cuando quiero escribir o especificar lo que utilizo, prefiero decir GNU/Linux o incluso ser más específico y decirlo ordenado de abajo a arriba: Linux/GNU/Xorg/GNOME o cualquier otra combinación que utilice.

En mi teléfono pasa algo parecido, aunque no utilizo nada de GNU: lo que tengo es Linux/Android.

¿No sería Android/Linux? "GNU over Linux" (el SO GNU montado sobre le kernel Linux), "Android over Linux"...