ssrg-vt / hermituxLinks
A binary-compatible unikernel
☆395Updated last year
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 last week
- Popcorn Linux kernel for distributed thread execution☆163Updated 2 years ago
- State of the art for unikernels☆217Updated last year
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- A sandboxed execution environment for unikernels☆946Updated 3 weeks ago
- Linux system calls.☆216Updated 5 years ago
- A "living" Linux process with no memory☆343Updated 5 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
- ☆640Updated 3 weeks ago
- ☆232Updated 6 years ago
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆132Updated 5 years ago
- ☆185Updated 5 years ago
- Unikernel and immutable infrastructures☆611Updated 3 years ago
- Akaros Operating System☆320Updated 3 years ago
- Create embedded Linux systems with a single statically linked executable.☆330Updated 5 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆380Updated last year
- Sandboxing File System☆46Updated 5 years 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☆927Updated 4 years ago
- ☆138Updated 4 months ago
- ELF visualizer. Generates HTML files from ELF binaries.☆984Updated 4 months ago
- A component-based OS☆191Updated 6 months ago
- Simple Linux seccomp rules without writing any code☆498Updated last month
- C simple and elegant implementation of an actor library☆137Updated 2 years ago
- Generic eBPF runtime☆150Updated 4 years ago
- A simple educational linux container runtime.☆112Updated 4 years ago
- libtls tutorial, exercises, test CA and exercise solutions☆162Updated last year