ssrg-vt / hermitux-kernelLinks
☆35Updated 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
- some core unix utils with focus on simplicity and ability to build standalone.☆41Updated last year
- experiments in linux sandbox stuff☆25Updated 10 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Label-based networking daemon☆23Updated 6 years ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs☆24Updated 4 years ago
- BSD-licensed 9P2000.u/.L server library☆34Updated 2 years ago
- Kubernetes Container Runtime Interface daemon for running CloudABI jobs☆17Updated 6 years ago
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆32Updated this week
- myLinux is an embedded operating system based on Buildroot and Finit☆86Updated last year
- scripts to recreate a git archive of pre-git era kernel snapshots.☆30Updated 10 years ago
- picotrace - system call process tracer☆39Updated 5 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- A basic UNIX shell implementation in C☆33Updated 5 years ago
- The control panel for your cloud's memory☆36Updated 9 years ago
- BSD-licensed CTF Implementation☆19Updated 10 years ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- My coreboot work☆23Updated 14 years ago
- FreeBSD's BHyVe project☆28Updated 13 years ago
- ☆30Updated 3 years ago
- VirtioVsock☆16Updated 6 years ago
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 3 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago
- opensnoop in pure C using eBPF☆100Updated 4 months ago
- A deceptively simple way to add a configuration file to a command-line application.☆17Updated 6 months ago