Alternatives and similar repositories for solo5

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

• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,148Updated 5 years ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆609Updated 3 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆206Updated this week
• rumpkernel / wiki
  Wiki for rump kernels
  ☆461Updated last year
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆394Updated 10 months ago
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,689Updated last month
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆226Updated 3 years ago
• genodelabs / genode
  Genode OS Framework
  ☆1,125Updated this week
• intel / nemu
  ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead
  ☆928Updated 4 years ago
• cloudius-systems / capstan
  Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan
  ☆373Updated 2 years ago
• sysml / lightvm
  ☆232Updated 6 years ago
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 3 years ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆637Updated this week
• udosteinberg / NOVA
  NOVA Microhypervisor
  ☆401Updated last month
• hyperhq / runv
  Hypervisor-based Runtime for OCI
  ☆828Updated 4 years ago
• solo-io / unik
  The Unikernel & MicroVM Compilation and Deployment Platform
  ☆2,755Updated 2 years ago
• cloudius-systems / osv
  OSv, a new operating system for the cloud.
  ☆4,182Updated 3 weeks ago
• brho / akaros
  Akaros Operating System
  ☆319Updated 3 years ago
• lkl / linux
  Linux kernel source tree
  ☆849Updated this week
• mirage / mirage-skeleton
  Examples of simple MirageOS apps
  ☆231Updated last month
• iovisor / ubpf
  Userspace eBPF VM
  ☆895Updated last week
• seeker89 / unikernels
  State of the art for unikernels
  ☆217Updated last year
• gwsystems / composite
  A component-based OS
  ☆189Updated 4 months ago
• nabla-containers / runnc
  OCI-interfacing Container runtime for Nabla Containers
  ☆259Updated 3 years ago
• seL4 / l4v
  seL4 specification and proofs
  ☆547Updated this week
• Harvey-OS / harvey
  A distributed operating system
  ☆1,449Updated 2 years ago
• kvmtool / kvmtool
  Stand-alone Native Linux KVM Tool repo
  ☆567Updated 8 months ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆282Updated 5 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago