Bug#585033: www.debian.org: intro/about improperly mentions the Hurd as the 'primary' non-Linux kernel
Here's the current text (http://www.debian.org/intro/about.en.html):
Debian systems currently use the Linux kernel. Linux is a piece of software
started by Linus Torvalds and supported by thousands of programmers
However, work is in progress to provide Debian for other kernels, primarily
for the Hurd.
The kFreeBSD port seems quite more alive to me than Debian/Hurd. Perhaps it
deserves a mention as the 'primary' non-Linux Debian port?