Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome-unikernels

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

Last synced: 2 days ago
JSON representation

  • Introduction

  • Projects

    • Linux Binary Compatible

      • 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

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

    • Generic

      • 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.
      • ClickOS - Efficient network function virtualization platform, optimized for Xen and developed by NEC.
      • UNICORE - Common code base and toolkit for deployment of applications to secure and reliable execution environments.

    • Unikernel-like

      • Drawbridge - Research prototype platform from Microsoft.

  • Tools

    • Unikernel-like

      • UniK - Unikernel compiler supporting a Firecracker, rump kernels, OSv, IncludeOS and MirageOS.
      • Solo5 - Middle-ware interfacing unikernels with the host systems.
      • Albatross - MigrageOS unikernel orchestration, via Solo5.
      • Capstan - Orchestration tool for packaging and running OSv based images.
Programming Languages
C 8 Assembly 2 C++ 2 OCaml 1 Go 1 Rust 1 Makefile 1 Pascal 1
Categories
Projects 20 Tools 4 Introduction 1
Sub Categories
Language oriented 9 Generic 7 Unikernel-like 5 Linux Binary Compatible 3
Keywords
unikernel 13 kernel 4 operating-system 3 mirageos 3 baremetal 2 rust 2 security 2 virtualization 2 ocaml 2 virtual-machine 2 baremetal-kernel 1 assembly 1 rust-embedded 1 posix 1 reasonml 1 reason 1 ultibo 1 raspberrypi 1 raspberry-pi 1 freepascal 1 cpp 1 unikernels 1 sandbox 1 osdev 1 operating-systems 1 microservice 1 edge 1 provisioning 1 orchestration 1 deployment 1 openbsd 1 kvm 1 hypervisor 1 freebsd 1 webserver 1 web 1 urbit 1 language 1 lambda-calculus 1 html 1 functional-language 1 functional 1 eval 1 supercomputing 1 os 1 nautilus 1 hybrid-runtimes 1 hvm 1 hrt 1 hpc 1