ssrg-vt / hermitux-kernelLinks
☆36Updated 3 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☆43Updated 5 years ago
- some core unix utils with focus on simplicity and ability to build standalone.☆41Updated last year
- The No-Order File System (NoFS)☆48Updated 13 years ago
- HermitCore: A C-based, lightweight unikernel☆227Updated 4 years ago
- Tools for running rump unikernels in userspace☆56Updated 10 years ago
- Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs☆24Updated 5 years ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- picotrace - system call process tracer☆39Updated 5 years ago
- view based o.s.☆46Updated 2 months ago
- Minimalistic Operating System for Xen☆66Updated 3 years ago
- Label-based networking daemon☆23Updated 7 years ago
- BSD-licensed 9P2000.u/.L server library☆34Updated 2 years ago
- experiments in linux sandbox stuff☆25Updated 10 years ago
- myLinux is an embedded operating system based on Buildroot and Finit☆87Updated last year
- ltrace clone that uses bcc + uprobes instead of ptrace☆48Updated 7 years ago
- An experimental VMM for KVM written in pure Python☆33Updated 2 years ago
- Working draft of nextgen malloc implementation for musl libc☆123Updated 5 years ago
- EbbRT: elastic building block runtime☆77Updated last year
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆83Updated 3 years ago
- My coreboot work☆23Updated 15 years ago
- Kubernetes Container Runtime Interface daemon for running CloudABI jobs☆17Updated 7 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 9 years ago
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆36Updated 7 years ago
- BSD-licensed CTF Implementation☆21Updated 10 years ago
- A deceptively simple way to add a configuration file to a command-line application.☆17Updated 10 months ago
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆33Updated last week
- distribute and coordinate work using parallel processes (like GNU parallel, but much faster and memory-efficient)☆99Updated 4 years ago
- Sandboxing File System☆46Updated 6 years ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆39Updated 4 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago