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

Is it time for a new type of operating system? The founders of DBOS think so. Back in 1986, Michael Stonebraker started the open-source PostgreSQL database project, which to this day remains one ...

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).

"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 ...

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 ...

QNX Software Systems, a provider of real-time microkernel operating system technology, has announced that it is offering the new Intel C++ Compiler 8.1, an optimizing compiler designed for embedded ...