Alternatives and similar repositories for hermitux

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

• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆227Updated 4 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆224Updated 5 months ago
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆263Updated 4 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆171Updated 2 years ago
• seeker89 / unikernels
  State of the art for unikernels
  ☆221Updated last year
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 3 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 4 years ago
• sysml / lightvm
  ☆233Updated 7 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆217Updated 6 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆351Updated 5 years ago
• luke8086 / boot2c
  A simple way to write standalone C programs for i386
  ☆257Updated last year
• jeaye / toybox
  A box for misfit toys
  ☆123Updated 5 years ago
• intel / nemu
  ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead
  ☆931Updated 4 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆967Updated 2 months ago
• eerimoq / monolinux
  Create embedded Linux systems with a single statically linked executable.
  ☆329Updated 5 years ago
• brho / akaros
  Akaros Operating System
  ☆326Updated 3 years ago
• Plailect / linux-devel
  A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd
  ☆131Updated 6 years ago
• gwsystems / composite
  A component-based OS
  ☆199Updated last week
• intel / mOS
  ☆141Updated 9 months ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆621Updated 3 years ago
• alcarithemad / zfsp
  ZFS, in Python, without reading the original C.
  ☆567Updated 6 years ago
• genodelabs / genode
  Genode OS Framework
  ☆1,199Updated this week
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• sandfs / sandfs.github.io
  Sandboxing File System
  ☆46Updated 6 years ago
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆300Updated 4 years ago
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,168Updated 5 years ago
• gueststar / nthm
  Non-preemptive Thread Hierarchy Manager
  ☆56Updated last year
• oscarlab / betrfs
  ☆294Updated last year
• w-vi / diyC
  A simple educational linux container runtime.
  ☆115Updated 4 years ago
• ssrg-vt / hermitux-kernel
  ☆36Updated 3 years ago