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 :-)). Cheers, Wolfgang