Package: www.debian.org
Severity: normal
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
worldwide.
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?
Thanks.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
