Please reread, it is changing the kernel from L4 to another one, not from Mach.
_______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
Please reread, it is changing the kernel from L4 to another one, not from Mach.
_______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd