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☆227Updated 4 years ago
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆263Updated 4 years ago
- Unikernel Linux☆227Updated 4 months ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Popcorn Linux kernel for distributed thread execution☆168Updated 2 years ago
- State of the art for unikernels☆221Updated last year
- Linux system calls.☆217Updated 6 years ago
- ☆233Updated 7 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'…☆121Updated 4 years ago
- A "living" Linux process with no memory☆351Updated 5 years ago
- ☆653Updated 2 weeks ago
- Linux in Unikernel Clothing☆71Updated 4 years ago
- A sandboxed execution environment for unikernels☆967Updated 2 months ago
- Manticore is a research operating system, written in Rust.☆295Updated 2 years ago
- Akaros Operating System☆324Updated 3 years ago
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆131Updated 6 years ago
- A component-based OS☆198Updated 2 weeks ago
- CloudABI's standard C library☆300Updated 5 years ago
- The world's worst kernel module☆300Updated 4 years ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆931Updated 4 years ago
- Unikernel and immutable infrastructures☆620Updated 3 years ago
- Create embedded Linux systems with a single statically linked executable.☆329Updated 5 years ago
- Sandboxed kernel mode WebAssembly runtime.☆760Updated 5 years ago
- A simple way to write standalone C programs for i386☆257Updated last year
- Sandboxing File System☆46Updated 6 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆87Updated 7 years ago
- Linux Application Level Firewall based on eBPF and NFQUEUE.☆704Updated 2 years ago
- ZFS, in Python, without reading the original C.☆568Updated 6 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆385Updated 3 weeks ago
- A box for misfit toys☆123Updated 5 years ago