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:
- experiments in linux sandbox stuff☆25Updated 10 years ago
- The Akaros operating system☆41Updated 4 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☆33Updated last year
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Stack clash coroutine demonstration☆12Updated 7 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆38Updated 3 years ago
- EbbRT: elastic building block runtime☆75Updated 10 months ago
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆40Updated 3 months ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- Label-based networking daemon☆22Updated 6 years ago
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆16Updated 6 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 8 years ago
- Custom Linux distribution built with cloud operability in mind☆9Updated 9 years ago
- Painless Linux sandboxing API☆15Updated last year
- ☆11Updated 5 years ago
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆32Updated 3 weeks ago
- The No-Order File System (NoFS)☆46Updated 12 years ago
- A basic UNIX shell implementation in C☆32Updated 5 years ago
- VirtioVsock☆16Updated 6 years ago
- A small, statically linkable NSS-like implementation of getpwnam() et al. user database access☆33Updated 3 weeks ago
- Sandboxing File System☆46Updated 5 years ago
- ☆30Updated 3 years ago
- some core unix utils with focus on simplicity and ability to build standalone.☆40Updated last year
- A deceptively simple way to add a configuration file to a command-line application.☆16Updated 2 months ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆13Updated 6 years ago
- intelligent and automatic build system for C☆13Updated 4 years ago
- NOVA userland☆48Updated 11 years ago