ssrg-vt / hermitux

Related projects ⓘ

Alternatives and complementary repositories for hermitux

• unikernelLinux / ukl
  Unikernel Linux
  ☆179Updated this week
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆220Updated 3 years ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆594Updated last week
• seeker89 / unikernels
  State of the art for unikernels
  ☆210Updated 6 months ago
• manticoreos / manticore
  Manticore is a research operating system, written in Rust.
  ☆289Updated 11 months ago
• flouthoc / wiser
  Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
  ☆260Updated 3 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆907Updated last month
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆177Updated last year
• gamozolabs / orange_slice
  A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost
  ☆516Updated 3 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆67Updated 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'…
  ☆116Updated 3 years ago
• intel / nemu
  ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead
  ☆924Updated 3 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆342Updated 4 years ago
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,138Updated 4 years ago
• brho / akaros
  Akaros Operating System
  ☆314Updated 2 years ago
• wasmerio / kernel-wasm
  Sandboxed kernel mode WebAssembly runtime.
  ☆733Updated 4 years ago
• sysml / lightvm
  ☆230Updated 6 years ago
• luke8086 / boot2c
  A simple way to write standalone C programs for i386
  ☆247Updated 8 months ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆156Updated last year
• matheusmoreira / liblinux
  Linux system calls.
  ☆213Updated 5 years ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆596Updated 2 years ago
• genodelabs / genode
  Genode OS Framework
  ☆1,081Updated this week
• intel / mOS
  ☆133Updated 6 months ago
• whitequark / unfork
  unfork(2) is the inverse of fork(2). sort of.
  ☆1,464Updated 7 months ago
• amluto / virtme
  An easy way to virtualize the running system
  ☆332Updated last year
• chaos / diod
  Distributed I/O Daemon - a 9P file server
  ☆352Updated 7 months ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆350Updated 4 years ago
• gwsystems / composite
  A component-based OS
  ☆187Updated 2 months ago
• ruslashev / elfcat
  ELF visualizer. Generates HTML files from ELF binaries.
  ☆928Updated last year