ssrg-vt / hermituxLinks
A binary-compatible unikernel
☆395Updated 10 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.☆260Updated 3 years ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- Unikernel Linux☆206Updated 2 weeks ago
- ☆232Updated 6 years ago
- State of the art for unikernels☆217Updated last year
- Popcorn Linux kernel for distributed thread execution☆162Updated last year
- Linux in Unikernel Clothing☆71Updated 3 years ago
- Linux system calls.☆216Updated 5 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- A "living" Linux process with no memory☆345Updated 5 years ago
- A sandboxed execution environment for unikernels☆944Updated 4 months ago
- ☆637Updated last week
- The world's worst kernel module☆299Updated 3 years ago
- ☆138Updated 3 months ago
- Create embedded Linux systems with a single statically linked executable.☆329Updated 5 years ago
- Linux Application Level Firewall based on eBPF and NFQUEUE.☆702Updated last year
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆928Updated 4 years ago
- Sandboxing File System☆46Updated 5 years ago
- ☆185Updated 5 years ago
- Unikernel and immutable infrastructures☆609Updated 3 years ago
- ☆291Updated last year
- A box for misfit toys☆124Updated 4 years ago
- ZFS, in Python, without reading the original C.☆567Updated 6 years ago
- Akaros Operating System☆319Updated 3 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆378Updated 11 months ago
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆133Updated 5 years ago
- unfork(2) is the inverse of fork(2). sort of.☆1,478Updated last year
- A simple way to write standalone C programs for i386☆257Updated last year
- A component-based OS☆189Updated 5 months ago
- The Rumprun unikernel and toolchain for various platforms☆1,150Updated 5 years ago