Introduction

• Unikernel and Immutable Infrastructures - Introductory white paper maintained by CETIC engineers.

Projects

Generic

• ClickOS - Efficient network function virtualization platform, optimized for Xen and developed by NEC.
• BareMetal - Self described as an exokernel, it can be used as the starting point for unikernel development.
• unicycle - Unikernel application framework developed in C.
• EbbRT - Boston University unikernel research project.
• Nautilus - Aerokernel from Sandia National Laboratories, supporting bare metal x86_64 and Xeon Phi.
• JML - Proof of concept for a minimal web server unikernel implementing its own language.
• Rump Kernels - Development platform reusing NetBSD components for producing efficient unikernels.
• Mini-OS - Reference kernel distributed with Xen.
• UNICORE - Common code base and toolkit for deployment of applications to secure and reliable execution environments.
• HermitCore - A C-based, lightweight unikernel project from Aachen University.
• Firecracker - AWS's VM isolation engine, using in products such as Lambda and Fargate.
• Unikraft - Collection of building blocks for unikernel development.

Language oriented

• LING - Erlang/Elixir unikernel development toolkit targeting Xen.
• IncludeOS - Feature rich unikernel development library for C++.
• Ultibo Core - Lazarus/FreePascal unikernel targeting Raspberry Pi as the runtime environment.
• Union - POSIX compliant unikernel written in Rust.
• binaryno - Rust unikernel running on bare ARM CortexM hardware.
• HaLVM - Port of Glasgow Haskell compiler producing Xen optimized unikernels.
• MirageOS - OCaml unikernel development library.
• rekernel - Minimal setup for developing unikernels in ReasonML.
• runtime.js - KVM oriented unikernel for running JavaScript applications via the V8 engine.
• Toro Kernel - Lazarus/FreePascal toolkit for unikernel development.

Linux Binary Compatible

• Nanos - Linux binary compatible unikernel focused on security.
• HermiTux - Research project from Virginia Tech, demonstrating advanced optimizations.
• OSv - Modular unikernel able to execute unmodified Linux binaries, developed in C++.

Unikernel-like

• Graphene - Library OS optimized for Intel SGX.

Tools

Unikernel-like

• UniK - Unikernel compiler supporting a Firecracker, rump kernels, OSv, IncludeOS and MirageOS.
• Solo5 - Middle-ware interfacing unikernels with the host systems.
• Capstan - Orchestration tool for packaging and running OSv based images.
• Albatross - MigrageOS unikernel orchestration, via Solo5.
• OPS - Orchestration tool for building and deploying Nanos based images.