ssrg-vt / hermituxLinks
A binary-compatible unikernel
☆394Updated 9 months ago
Alternatives and similar repositories for hermitux
Users that are interested in hermitux are comparing it to the libraries listed below
Sorting:
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆259Updated 3 years ago
- Unikernel Linux☆206Updated 3 weeks ago
- ☆634Updated 2 weeks ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- Linux system calls.☆214Updated 5 years ago
- State of the art for unikernels☆217Updated last year
- Popcorn Linux kernel for distributed thread execution☆160Updated last year
- A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…☆118Updated 4 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆526Updated 4 years ago
- A "living" Linux process with no memory☆344Updated 4 years ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆374Updated 10 months ago
- Manticore is a research operating system, written in Rust.☆295Updated last year
- Like fork() but teleports the forked process to a different computer!☆602Updated 3 years ago
- Akaros Operating System☆319Updated 3 years ago
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆134Updated 5 years ago
- A sandboxed execution environment for unikernels☆938Updated 2 months ago
- ☆232Updated 6 years ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆929Updated 4 years ago
- ZFS, in Python, without reading the original C.☆567Updated 6 years ago
- A component-based OS☆189Updated 3 months ago
- Sandboxed kernel mode WebAssembly runtime.☆743Updated 5 years ago
- unfork(2) is the inverse of fork(2). sort of.☆1,475Updated last year
- The Rumprun unikernel and toolchain for various platforms☆1,147Updated 5 years ago
- Minimal linux container runtime☆448Updated 3 years ago
- Genode OS Framework☆1,120Updated this week
- ☆183Updated 5 years ago
- Unikernel and immutable infrastructures☆607Updated 3 years ago
- A simple way to write standalone C programs for i386☆256Updated last year