There are several microkernel projects in progress. The Hurd is struggling forward, L4RE looks maybe somewhat practical, HelenOS is a nice research project, Darwin appears to be reasonably stable ...