awesome-unikernels

:zap: Curated list of unikernel resources
https://github.com/uniqernel/awesome-unikernels

Last synced: 5 days ago
JSON representation

Projects
- Linux Binary Compatible
  - OSv - Modular unikernel able to execute unmodified Linux binaries, developed in C++.
  - OSv - Modular unikernel able to execute unmodified Linux binaries, developed in C++.
  - Nanos - Linux binary compatible unikernel focused on security.
  - HermiTux - Research project from Virginia Tech, demonstrating advanced optimizations.
- Language oriented
  - runtime.js - KVM oriented unikernel for running JavaScript applications via the V8 engine.
  - rekernel - Minimal setup for developing unikernels in ReasonML.
  - MirageOS - OCaml unikernel development library.
  - runtime.js - KVM oriented unikernel for running JavaScript applications via the V8 engine.
  - Toro Kernel - Lazarus/FreePascal toolkit for unikernel development.
  - rekernel - Minimal setup for developing unikernels in ReasonML.
  - 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.
  - Toro Kernel - Lazarus/FreePascal toolkit for unikernel development.
  - binaryno - Rust unikernel running on bare ARM CortexM hardware.
  - HaLVM - Port of Glasgow Haskell compiler producing Xen optimized unikernels.
  - LING - Erlang/Elixir unikernel development toolkit targeting Xen.
- Generic
  - Unikraft - Collection of building blocks for unikernel development.
  - HermitCore - A C-based, lightweight unikernel project from Aachen University.
  - UNICORE - Common code base and toolkit for deployment of applications to secure and reliable execution environments.
  - Rump Kernels - Development platform reusing NetBSD components for producing efficient unikernels.
  - UNICORE - Common code base and toolkit for deployment of applications to secure and reliable execution environments.
  - Mini-OS - Reference kernel distributed with Xen.
  - 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.
- Unikernel-like
  - Drawbridge - Research prototype platform from Microsoft.
Tools
- Unikernel-like
  - Albatross - MigrageOS unikernel orchestration, via Solo5.
  - Albatross - MigrageOS unikernel orchestration, via Solo5.
  - 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.
  - Capstan - Orchestration tool for packaging and running OSv based images.
Introduction
- Unikernel and Immutable Infrastructures - Introductory white paper maintained by CETIC engineers.

Programming Languages

C 8 Assembly 2 C++ 2 OCaml 1 Rust 1 Makefile 1 Pascal 1 Go 1

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Awesome

awesome-unikernels

Projects

Linux Binary Compatible

Language oriented

Generic

Unikernel-like

Tools

Unikernel-like

Introduction