Alternatives and similar repositories for unikernels

Users that are interested in unikernels are comparing it to the libraries listed below

• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆260Updated 3 years ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆394Updated 10 months ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 3 years ago
• shuveb / sparkler
  A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…
  ☆118Updated 4 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆216Updated 5 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆206Updated this week
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆608Updated 3 years ago
• dancrossnyc / rxv64
  xv6 OS
  ☆239Updated 2 months ago
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆416Updated 2 years ago
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆293Updated last year
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆609Updated last week
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆226Updated 3 years ago
• unikraft / kraftkit
  Build and use highly customized and ultra-lightweight unikernel VMs.
  ☆308Updated this week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 2 months ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆360Updated 5 years ago
• andrewchambers / minias
  A mini x86-64 assembler for fun and learning.
  ☆216Updated 3 months ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆162Updated last year
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆575Updated 2 years ago
• infoslack / awesome-unikernels
  A list about Unikernels
  ☆114Updated last year
• gwsystems / composite
  A component-based OS
  ☆189Updated 4 months ago
• ligurio / unreliablefs
  A FUSE-based fault injection filesystem.
  ☆180Updated last year
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆943Updated 3 months ago
• google / ghost-userspace
  ☆231Updated last year
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆339Updated this week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆136Updated last week
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆152Updated 9 months ago
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆299Updated 3 years ago
• containers / libkrunfw
  A dynamic library bundling the guest payload consumed by libkrun
  ☆97Updated 2 weeks ago