There are some problems with Mach which seem very hard or even impossible to fix without using a new microkernel.
Impossible it is not, very hard it is or might be, but so is porting to a new kernel, which is infact even harder. For that reason, we are looking at other microkernels. We were planning to use L4, but it seems it will be something else (either a successor of L4, or Coyotos, yet another microkernel). "We" does not include the majority of the Hurd developers and hackers, only a very few people. As it is now, GNU Mach is the primary kernel that is being worked on for the Hurd, not L4, not Coyotos, and not some other microkernel; this is how it will be until the day when this new fork of the Hurd is a viable choice for people to use (and not only to hack on). _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
