could someone please enlighten me on the current status of the GNU/Hurd
servers/kernel.  Are the developers still looking to replace the Mach kernel
with the Coyotos microkernel?

Reply via email to