Hello,
Why not develop a common Mach kernel? ie. Combinating the work from
both MkLinux and Hurd ( There is another Mach-based
project alive? ). I think this should lead for a better Mach.
IMHO, leaving Mach should not be good, as the L4 team proved when
trying to port Lites...Thanks, Vitor.
