ChorusOS

ChorusOS is a microkernel real-time operating system designed as a message-based computational model. ChorusOS started as the Chorus distributed real-time operating system research project at Institut National de Recherche en Informatique et Automatique (INRIA) in France in 1979. During the 1980s, Chorus was one of two earliest microkernels (the other being Mach) and was developed commercially by Chorus Systèmes. Over time, development effort shifted away from distribution aspects to real-time for embedded systems.
In 1997, Sun Microsystems acquired Chorus Systèmes for its microkernel technology, which went toward the new JavaOS. Sun (and henceforth Oracle) no longer supports ChorusOS. The founders of Chorus Systèmes started a new company called Jaluna in August 2002. Jaluna has subsequently become VirtualLogix. VirtualLogix was itself acquired by Red Bend in September 2010. VirtualLogix designed embedded systems using Linux and ChorusOS (which they called "VirtualLogix C5"). C5 was described by them as a carrier-grade operating system, and was actively maintained by them.
The latest source tree of ChorusOS, an evolution of version 5.0, was open-sourced by Sun and is available at the Sun Download Center. The Jaluna project has completed these sources and published it online. Jaluna-1 is described there as an RT-POSIX layer based on FreeBSD 4.1, and the CDE cross-development environment. ChorusOS is supported by popular SSL/TLS libraries such as wolfSSL. 