Debian > Debian GNU
This page describes what "Debian GNU/Kernel" is, not just "Debian".
What is Debian GNU/<Kernel> ?
An Operating System needs a Kernel. The GNU replacement for the Unix kernel is The Hurd (The Hurd is actually not a kernel, read the links to find out more.). Linux is an alternative kernel for a GNU System and such a system is referred to as GNU/Linux. It is possible to use a kernel from another POSIX-like system, such as FreeBSD to give Debian GNU/kFreeBSD (kernel of FreeBSD).
Debian GNU ports:
Debian GNU/Linux (The first Debian GNU plus a Kernel system)
- Debian GNU/Minix (no official port)
Debian GNU/NetBSD (abandoned, no official release)