Alternatives and similar repositories for hermitux:

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

• seeker89 / unikernels
  State of the art for unikernels
  ☆213Updated 11 months ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆225Updated 3 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆189Updated last week
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆259Updated 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'…
  ☆119Updated 4 years ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆631Updated 3 weeks ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆70Updated 3 years ago
• matheusmoreira / liblinux
  Linux system calls.
  ☆213Updated 5 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆160Updated last year
• wasmerio / kernel-wasm
  Sandboxed kernel mode WebAssembly runtime.
  ☆743Updated 5 years ago
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆294Updated last year
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆178Updated 2 years ago
• gamozolabs / orange_slice
  A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost
  ☆525Updated 4 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆343Updated 4 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆930Updated last month
• trishume / telefork
  Like fork() but teleports the forked process to a different computer!
  ☆598Updated 3 years ago
• sysml / lightvm
  ☆232Updated 6 years ago
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,146Updated 4 years ago
• KillingSpark / rustysd
  A service manager that is able to run "traditional" systemd services, written in rust
  ☆515Updated 8 months ago
• flouthoc / vas-quod
  Minimal linux container runtime
  ☆447Updated 3 years ago
• brho / akaros
  Akaros Operating System
  ☆317Updated 3 years ago
• cloudflare / sandbox
  Simple Linux seccomp rules without writing any code
  ☆476Updated 6 months ago
• alcarithemad / zfsp
  ZFS, in Python, without reading the original C.
  ☆567Updated 5 years ago
• o8vm / krabs
  An x86 bootloader written in Rust.
  ☆524Updated 3 years ago
• chaos / diod
  Distributed I/O Daemon - a 9P file server
  ☆359Updated 3 weeks ago
• rprinz08 / hBPF
  hBPF = eBPF in hardware
  ☆412Updated 2 years ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆302Updated 5 years ago
• luke8086 / boot2c
  A simple way to write standalone C programs for i386
  ☆256Updated last year
• rbakbashev / elfcat
  ELF visualizer. Generates HTML files from ELF binaries.
  ☆962Updated last month
• Plailect / linux-devel
  A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd
  ☆134Updated 5 years ago