But many other operating systems–Ubuntu, Fedora, Raspian–they all derive from some stock operating system. There are some outliers, though, and one of those is HelenOS.

BlackBerry has announced that QNX OS for Safety 2.2 will be certified to Safety Integrity Level (SIL) 4, the highest level in the EN 50125 safety standard established by the European ...

"With the release of the QNX Hypervisor, QNX Software Systems offers the core components for building consolidated, safety-certified, realtime solutions. These include microkernel OS architecture, ...

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

A multi-kernel OS architecture, also referred to as distributed microkernel OS (seen in the lower layers of Figure 1), is inherently suited to servicing the large numbers of interlinked cores and ...