Backed by the largest, independent team of microkernel developers, OK Labs open-source microkernel operating system, OKL4, offers the highest proven performance combined with strong protection and ...

According to the project’s web site: HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch.

"As the foundation for this new operating system, we chose seL4 as the microkernel because it puts security front and center; it is mathematically proven secure, with guaranteed confidentiality ...

It’s a Unix-like real-time, microkernel-based operating system that’s most widely used these days in automotive systems – more than 200 million cars run QNX-based software.

Jaluna-1 is a real-time component suite designed for carrier-grade projects requiring high performance and high availability. It is based on Sun Microsystems' Chorus microkernel operating system (OS).