hermit-os / libhermit

Related projects: ⓘ

• brho / akaros
  Akaros Operating System
  ☆312Updated 2 years ago
• manticoreos / manticore
  Manticore is a research operating system, written in Rust.
  ☆287Updated 9 months ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆393Updated last month
• w-vi / diyC
  A simple educational linux container runtime.
  ☆100Updated 3 years ago
• NuxiNL / cloudlibc
  CloudABI's standard C library
  ☆296Updated 4 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆171Updated this week
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆177Updated last year
• gwsystems / composite
  A component-based OS
  ☆184Updated 2 weeks 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'…
  ☆115Updated 3 years ago
• rumpkernel / rumprun-packages
  Ready-made packages of software for running on the Rumprun unikernel
  ☆202Updated last year
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆894Updated 3 months ago
• fjballest / clive
  This is the source for the new Clive system built at Lsub.
  ☆87Updated 8 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆55Updated 8 years ago
• rumpkernel / wiki
  Wiki for rump kernels
  ☆461Updated last year
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆184Updated 4 years ago
• chaos / diod
  Distributed I/O Daemon - a 9P file server
  ☆342Updated 5 months ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆589Updated 2 weeks ago
• uw-unsat / hyperkernel
  ☆181Updated 4 years ago
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆116Updated 3 years ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆155Updated last year
• generic-ebpf / generic-ebpf
  Generic eBPF runtime
  ☆149Updated 3 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 2 years ago
• intel / mOS
  ☆132Updated 4 months ago
• seeker89 / unikernels
  State of the art for unikernels
  ☆204Updated 4 months ago
• 9fans / vx32
  Portable, efficient, safe execution of untrusted x86 code
  ☆115Updated 2 years ago
• nabla-containers / nabla-linux
  Experimental Linux Virtual Machine based on UML and noMMU
  ☆61Updated 3 years ago
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,135Updated 4 years ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆294Updated 4 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆65Updated last year