is it mach 4 or l4 .can some body give me the details about the exact state of l4-Hurd combination .
The Hurd uses GNU Mach as its current kernel. Cheers. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
