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.