>>4 Mach's system is quite mature and doesn't need any work done to it. One of Hurd's major problems is that the Hurd programmers found it unexpectedly difficult to debug multiserver programs within the context of Hurd. It turns out that theres quite a lot of infrastructure that you need to manage that simply doesn't exist within the context in a macrokernel and that debugging that network of servers is complex work.