Comment by floatboth

A lot of OpenBSD mentions here, but what about MINIX 3? It's so underrated and ignored :( They made a nice microkernel-based UNIX-like system with a NetBSD userspace.

Also, Redox is switching to a microkernel architecture...