Debian is your OS, Linux is your kernel.

[Dan Jacobson <jidanni@jidanni.org>]

http://groups.google.com/groups?selm=2CGZM-La-1%40gated-at.bofh.it
says Debian is your OS, Linux is your kernel. So does http://www.debian.org/ .
However
$ uname --help
  -s, --kernel-name        print the kernel name
  -o, --operating-system   print the operating system
$ uname -s -o
Linux GNU/Linux
I filed bug 270362, but the answer is
> No, it's working as designed.
Wait. On http://www.debian.org/ it also says

    but most of the basic OS tools come from the GNU project; hence
    the name GNU/Linux.

So Debian and GNU/Linux are equivalent or alternate names for each
other or whatever. OK. I get it. Over and out.