ssrg-vt / hermitux-kernelLinks
☆34Updated 2 years ago
Alternatives and similar repositories for hermitux-kernel
Users that are interested in hermitux-kernel are comparing it to the libraries listed below
Sorting:
- The Akaros operating system☆41Updated 4 years ago
- experiments in linux sandbox stuff☆25Updated 10 years ago
- opensnoop in pure C using eBPF☆100Updated 3 months ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- some core unix utils with focus on simplicity and ability to build standalone.☆41Updated last year
- Sandboxing File System☆46Updated 5 years ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆38Updated 3 years ago
- Label-based networking daemon☆23Updated 6 years ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 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
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆32Updated 2 months ago
- ☆23Updated 2 months ago
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 8 years ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- EbbRT: elastic building block runtime☆75Updated last year
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 3 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- Kubernetes Container Runtime Interface daemon for running CloudABI jobs☆17Updated 6 years ago
- Matching Commits with Their Mailing List Discussions☆39Updated 7 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago
- A one-stop shop for process isolation☆107Updated 2 weeks ago
- Enable piping of internal command output to external commands☆71Updated 7 years ago
- A deceptively simple way to add a configuration file to a command-line application.☆17Updated 4 months ago
- userspace tools for linux libos☆96Updated 3 years ago
- The control panel for your cloud's memory☆36Updated 9 years ago
- ltrace clone that uses bcc + uprobes instead of ptrace☆47Updated 7 years ago
- A simple educational linux container runtime.☆110Updated 4 years ago
- Custom Linux distribution built with cloud operability in mind☆9Updated 9 years ago