Alternatives and similar repositories for hermitux

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

• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆260Updated 3 years ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆226Updated 3 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆163Updated 2 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆207Updated 3 weeks ago
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆215Updated 5 years ago
• seeker89 / unikernels
  State of the art for unikernels
  ☆217Updated last year
• sysml / lightvm
  ☆232Updated 6 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆343Updated 5 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 3 years ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆642Updated this week
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆293Updated last year
• brho / akaros
  Akaros Operating System
  ☆320Updated 3 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆948Updated last month
• davidmalcolm / antipatterns.ko
  The world's worst kernel module
  ☆298Updated 4 years ago
• eerimoq / monolinux
  Create embedded Linux systems with a single statically linked executable.
  ☆329Updated 5 years ago
• NuxiNL / cloudlibc
  CloudABI's standard C library
  ☆299Updated 4 years ago
• Plailect / linux-devel
  A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd
  ☆131Updated 5 years ago
• gwsystems / composite
  A component-based OS
  ☆190Updated 6 months ago
• jeaye / toybox
  A box for misfit toys
  ☆124Updated 4 years ago
• struct / isoalloc
  A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…
  ☆380Updated last year
• intel / mOS
  ☆138Updated 5 months ago
• nixcloud / ip2unix
  Turn IP sockets into Unix domain sockets
  ☆369Updated last year
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆612Updated 3 years ago
• luke8086 / boot2c
  A simple way to write standalone C programs for i386
  ☆257Updated last year
• sandfs / sandfs.github.io
  Sandboxing File System
  ☆46Updated 5 years ago
• whitequark / unfork
  unfork(2) is the inverse of fork(2). sort of.
  ☆1,477Updated last year
• bob-beck / libtls
  libtls tutorial, exercises, test CA and exercise solutions
  ☆162Updated last year
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆111Updated 4 years ago