ssrg-vt / hermitux-kernel
☆33Updated 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
- experiments in linux sandbox stuff☆25Updated 9 years ago
- Prepared statement support for the system command☆29Updated 4 years ago
- The Akaros operating system☆41Updated 4 years ago
- Painless Linux sandboxing API☆14Updated 9 months ago
- NOVA userland☆48Updated 11 years ago
- A basic UNIX shell implementation in C☆32Updated 5 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆77Updated 2 years ago
- A small, statically linkable NSS-like implementation of getpwnam() et al. user database access☆33Updated 3 months ago
- A deceptively simple way to add a configuration file to a command-line application.☆15Updated last week
- Kubernetes Container Runtime Interface daemon for running CloudABI jobs☆17Updated 6 years ago
- ltrace clone that uses bcc + uprobes instead of ptrace☆47Updated 7 years ago
- Sandboxing File System☆46Updated 5 years ago
- Github Actions wrapper for vmtest☆11Updated 2 months ago
- MH: a microkernel for fun and experimenting!☆30Updated 7 years ago
- ZeroVM Run-Time environment☆65Updated 9 years ago
- BSD-licensed 9P2000.u/.L server library☆32Updated last year
- Httpfile is a HTTP server derived from publicfile-0.52☆9Updated last year
- An experimental VMM for KVM written in pure Python☆28Updated last year
- portable version of OpenBSD's signify(1) signature tool☆13Updated 8 years ago
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆17Updated 6 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- NetBSD cdb (constant database) library☆14Updated 5 years ago
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 2 years ago
- A low-level, C, stream-based, asynchronous 9P implementation☆12Updated 11 years ago
- Stack clash coroutine demonstration☆12Updated 7 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☆22Updated 6 years ago
- Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs☆24Updated 4 years ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago