Hacker News Reader

So has Minix (now called minix3)[1], although more slowly than Linux. It is open source now, and still not monolithic.

It's actually kind of cool. Seems to be very reliability-focused. Does anyone have any experience running production software on it?

Not sure about MINIX 3, but I remember from Andy's book that MINIX in general has been widely used for production code, typically embedded systems.