There really is a Linux, and these people are using it, but it is not the operating system. Linux is the kernel: the program in the system that allocates the machine's resources to the other programs that you run.
Totoong mayroong Linux, at ginagamit ito ng mga taong ito, pero hindi ito ang operating system. Ang Linux ang kernel: ang programa na nasa sistema na namamahagi (alokasyon) ng mga resources ng makina sa iba pang programang pinapatakbo ninyo.