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
- ☆30Updated 3 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- experiments in linux sandbox stuff☆25Updated 10 years ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- some core unix utils with focus on simplicity and ability to build standalone.☆41Updated last year
- opensnoop in pure C using eBPF☆100Updated 4 months ago
- Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs☆24Updated 4 years ago
- Kubernetes Container Runtime Interface daemon for running CloudABI jobs☆17Updated 6 years ago
- Label-based networking daemon☆23Updated 6 years ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago
- Sandboxing File System☆46Updated 5 years ago
- A tiny Unix dynamic memory allocator library.☆63Updated 7 years ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- ltrace clone that uses bcc + uprobes instead of ptrace☆47Updated 7 years ago
- BSD-licensed 9P2000.u/.L server library☆34Updated 2 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- Prepared statement support for the system command☆28Updated 5 years ago
- An experimental VMM for KVM written in pure Python☆30Updated 2 years ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆38Updated 4 years ago
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 3 years ago
- myLinux is an embedded operating system based on Buildroot and Finit☆85Updated last year
- Plug-and-play IP rate limiter in C☆24Updated 4 years ago
- EbbRT: elastic building block runtime☆75Updated last year
- A basic UNIX shell implementation in C☆33Updated 5 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- picotrace - system call process tracer☆39Updated 5 years ago