>From the FAQ: "If all goes well, OSKit-Mach will be stabilized and become the official kernel" Sorry, I haven't followed the list that well. What were the disadvantages of GNU Mach and advantages of OSKit-Mach that made people choose OSKit-Mach as the official kernel?