Unikernels

Xen Project has been at the forefront of the birth of Cloud Operating Systems: specialized lightweight operating systems which are only intended to be used within a Virtual Machine. These Cloud Operating Systems may become the core of a new form of cloud, where a single hypervisor instance can support hundreds or even thousands of VMs.

The following Cloud Operating Systems currently have some relationship (formal or not) to the Xen Project:

• MirageOS

 Base language: OCaml

• Erlang on Xen

 Base language: Erlang

• HalVM

 Base language: Haskell

• OSv

 Base language: Java

• GuestVM

 Base language: Java