[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#585033: www.debian.org: intro/about improperly mentions the Hurd as the 'primary' non-Linux kernel

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 or the FreeBSD kernel.
Linux is a piece of software started by Linus Torvalds and supported
by thousands of programmers worldwide. FreeBSD is an operating system
including a kernel and other software.

However, work is in progress to provide Debian for other kernels,
primarily for the Hurd. The Hurd is a collection of servers that run
on top of a microkernel (such as Mach) to implement different
features. The Hurd is free software produced by the GNU project.
I think the current text includes the petition so this bug report can be closed.
Laura Arjona

Reply to: