L4

“… is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other systems … L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices”

Qubes OS

“… is a security-focused desktop operating system that aims to provide security through isolation. Virtualization is performed by Xen, and user environments are based on Fedora.”

Docker

“… is an open platform for developers and sysadmins to build, ship, and run distributed applications … Docker enables apps to be quickly assembled from components and eliminates the friction between development, QA, and production environments.”

Unikernels

OpenXCI

“… is a Xen-based desktop hypervisor. Unlike other desktop hypervisors, it is not targeted at businesses wanting remote provisioning, but rather at individuals who want a high-performance alternative to dual/multi-booting.”

Ethos OS

“… provides stronger security services which are more resistant to attack and abstractions which are less prone to abuse by attackers. As an example of the former, all networking in Ethos is encrypted, authenticated, and authorized. As an example of the latter, Ethos I/O is typed (as in programming languages) ensuring that I/O conforms to declared types and thus preventing many attacks based on ill-formed input.”

Proprietary