ssrg-vt / hermituxLinks
A binary-compatible unikernel
☆394Updated 10 months ago
Alternatives and similar repositories for hermitux
Users that are interested in hermitux are comparing it to the libraries listed below
Sorting:
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- Unikernel Linux☆206Updated this week
- ☆637Updated this week
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆260Updated 3 years ago
- State of the art for unikernels☆217Updated last year
- Manticore is a research operating system, written in Rust.☆293Updated last year
- A "living" Linux process with no memory☆344Updated 5 years ago
- A sandboxed execution environment for unikernels☆942Updated 3 months ago
- Popcorn Linux kernel for distributed thread execution☆160Updated last year
- Linux system calls.☆215Updated 5 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- 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
- Akaros Operating System☆319Updated 3 years ago
- ☆232Updated 6 years ago
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆134Updated 5 years ago
- Genode OS Framework☆1,125Updated this week
- Like fork() but teleports the forked process to a different computer!☆602Updated 3 years ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆928Updated 4 years ago
- Sandboxed kernel mode WebAssembly runtime.☆745Updated 5 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆304Updated 5 years ago
- A simple way to write standalone C programs for i386☆256Updated last year
- CloudABI's standard C library☆298Updated 4 years ago
- An x86 bootloader written in Rust.☆525Updated 3 years ago
- unfork(2) is the inverse of fork(2). sort of.☆1,475Updated last year
- hobby x86 kernel zig☆431Updated last year
- A native non-web embedding of WebAssembly for Windows/Linux☆398Updated last year
- The Cervus Subsystem for Linux☆731Updated 7 years ago
- Jehanne Operating System☆288Updated 3 years ago
- ZFS, in Python, without reading the original C.☆567Updated 6 years ago