Alternatives and similar repositories for hermitux:

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

• unikernelLinux / ukl
  Unikernel Linux
  ☆187Updated last week
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆224Updated 3 years ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆627Updated this week
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆259Updated 3 years ago
• seeker89 / unikernels
  State of the art for unikernels
  ☆213Updated 10 months ago
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆343Updated 4 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆928Updated 2 weeks ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆70Updated 3 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆160Updated last year
• sysml / lightvm
  ☆232Updated 6 years ago
• wasmerio / kernel-wasm
  Sandboxed kernel mode WebAssembly runtime.
  ☆743Updated 5 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'…
  ☆119Updated 4 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆211Updated 5 years ago
• intel / nemu
  ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead
  ☆929Updated 3 years ago
• Plailect / linux-devel
  A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd
  ☆134Updated 5 years ago
• brho / akaros
  Akaros Operating System
  ☆316Updated 3 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• rbakbashev / elfcat
  ELF visualizer. Generates HTML files from ELF binaries.
  ☆948Updated last week
• whitequark / unfork
  unfork(2) is the inverse of fork(2). sort of.
  ☆1,472Updated 11 months ago
• intel / mOS
  ☆136Updated 10 months ago
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆411Updated 2 years ago
• cervus-v / cervus
  The Cervus Subsystem for Linux
  ☆730Updated 6 years ago
• eerimoq / monolinux
  Create embedded Linux systems with a single statically linked executable.
  ☆328Updated 4 years ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆604Updated 3 years ago
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆298Updated 3 years ago
• harporoeder / ebpfsnitch
  Linux Application Level Firewall based on eBPF and NFQUEUE.
  ☆696Updated last year
• jeaye / toybox
  A box for misfit toys
  ☆124Updated 4 years ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆336Updated last year
• alcarithemad / zfsp
  ZFS, in Python, without reading the original C.
  ☆566Updated 5 years ago