HelenOS: a microkernel-based, multiserver OS from scratch
Maybe this is a silly question, but if people are building these from scratch as a hobby project, why don't we have GNU Hurd working yet? Is the problem nowadays that the goal has shifted from "make a kernel" to "make a kernel that's bug-for-bug compatibile with Linux including driver support"?