> There are already plenty of decent Unix-style and other kernels out there, mostly relegated to academia and research.

The Hurd is the only multi-server microkernel system with a POSIX persona, though. The Hurd is a very flexible system, it just needs all those Linux developers to make progress more quickly.