There are also systems that use a GNU userspace and/or C library on top of a non-Linux kernel, for example Debian GNU/Hurd (GNU userland on the GNU kernel) or Debian GNU/kFreeBSD (which uses the GNU coreutils and C library with the kernel from FreeBSD).
Все или подавляющее большинство дистрибутивов Linux для настольных компьютеров являются дистрибутивами GNU/Linux, но с популяризацией «мобильных» ОС на основе Linux без основных библиотек и программ проекта GNU (к примеру, Android или Firefox OS) такие ОС иногда пытаются обособить, продолжая называть «обычные» дистрибутивы «Linux».