ssrg-vt / hermituxLinks
A binary-compatible unikernel
☆398Updated last year
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
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆260Updated 4 years ago
- Unikernel Linux☆218Updated 2 months ago
- Popcorn Linux kernel for distributed thread execution☆167Updated 2 years ago
- State of the art for unikernels☆221Updated last year
- Linux in Unikernel Clothing☆72Updated 4 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- ☆649Updated this week
- ☆233Updated 7 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆537Updated 4 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'…☆119Updated 4 years ago
- A sandboxed execution environment for unikernels☆954Updated 3 weeks ago
- Linux system calls.☆216Updated 5 years ago
- Manticore is a research operating system, written in Rust.☆293Updated last year
- A "living" Linux process with no memory☆351Updated 5 years ago
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆131Updated 5 years ago
- Create embedded Linux systems with a single statically linked executable.☆329Updated 5 years ago
- ☆185Updated 5 years ago
- Akaros Operating System☆320Updated 3 years ago
- ☆141Updated 6 months ago
- A simple way to write standalone C programs for i386☆257Updated last year
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆930Updated 4 years ago
- CloudABI's standard C library☆300Updated 5 years ago
- A component-based OS☆191Updated 8 months ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆381Updated last year
- A box for misfit toys☆124Updated 4 years ago
- Sandboxing File System☆46Updated 5 years ago
- Unikernel and immutable infrastructures☆613Updated 3 years ago
- ZFS, in Python, without reading the original C.☆567Updated 6 years ago
- A simple educational linux container runtime.☆113Updated 4 years ago