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

Re: public opinion about Debian GNU (Hurd)

Thomas Poindessous <poinde_t@epita.fr> wrote:
> GNU/Hurd is a different OS than GNU/Linux and Hurd is the kernel of the
> GNU/Hurd OS.

No, Hurd is a replacement for the Unix kernel, but it is not a kernel.
The kernel of the GNU/Hurd operating system is currently GNUmach, and
maybe it will be OSKit Mach somewhen. And in 20 or 30 years or so, it
may be L4 (... or L5 :-)).


Reply to: