Comment by VWWHFSfQ

> Minix 3 is a true microkernel, and is currently a popular niche OS

Isn't it the most widely deployed operating system in the world? It's embedded in basically every Intel CPU