I saw in the Hurd FAQ that, if all goes well, OS Kit-Mach will probably 
be the official kernel.

"...If all goes well, OSKit-Mach will be stabilized and become the 
official kernel...."

Why not GNU Mach?


_______________________________________________
Help-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/help-hurd

Reply via email to