MirageOS is a library operating system that constructs unikernels for secure,
high-performance network applications across a variety of cloud computing and
mobile platforms. Code can be developed on a traditional OS such as Linux or
MacOS X, and then compiled into a fully-standalone, specialised unikernel that
runs under the Xen or KVM hypervisors as well as lightweight hypervisors like
BSD's bhyve. Xen and KVM power many public clouds;
MirageOS unikernels are currently running on Amazon's Elastic Compute Cloud
and Google Compute Engine, and maybe others!
This repository includes:
a command-line tool to create and deploy applications with MirageOS; and
types/, a library of type signatures that compliant applications use.
There are several diverse backends in MirageOS that require rather specialised
build steps (from Xen to KVM unikernels), and this complexity is wrapped
up in the tool.
To work with
mirage, you'll need to either install prerequisites
locally or use the Docker image.
You will need the following:
a working OCaml compiler (4.03.0 or higher).
the OPAM source package manager (1.2.2 or higher).
an x86_64 or armel Linux host to compile Xen kernels, or FreeBSD, OpenBSD or
MacOS X for the userlevel version.
There is a maintained Docker image at
You can also use the Dockerfile in this repository:
docker build -t mirage . docker run -v <your-source>:/src opam config exec -- mirage
There are two stages to using
a configure phase where necessary code is generated and dependencies are determined.
an optional depends phase where OPAM package dependencies are satisfied.
a build phase where the compiler and any support scripts are run.
>= "3.0.0" & < "4.0"
>= "2.2.0" & < "4.0"
>= "2.6.0" & < "3.0.0"
>= "4.04.2" & < "4.07.0"