ssrg-vt / hermitux-kernel
☆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
- The Akaros operating system☆41Updated 4 years ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆38Updated 3 years ago
- experiments in linux sandbox stuff☆25Updated 10 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- ltrace clone that uses bcc + uprobes instead of ptrace☆47Updated 7 years ago
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆32Updated 2 weeks ago
- Painless Linux sandboxing API☆15Updated 11 months ago
- Label-based networking daemon☆22Updated 6 years ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- view based o.s.☆40Updated 2 weeks ago
- Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs☆24Updated 4 years ago
- NOVA userland☆48Updated 11 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- BSD-licensed 9P2000.u/.L server library☆33Updated last year
- VirtioVsock☆16Updated 6 years ago
- EbbRT: elastic building block runtime☆75Updated 9 months ago
- Custom Linux distribution built with cloud operability in mind☆9Updated 8 years ago
- Sandboxing File System☆46Updated 5 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆16Updated 6 years ago
- atomfs is a pseudo filesystem for managing container layers☆10Updated last year
- Github Actions wrapper for vmtest☆11Updated 3 months ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated last year
- Official Repository Ori Distributed File System☆29Updated 5 years ago
- A TCP-IP emulator as a library.☆38Updated 5 years ago
- Lightweight cross-platform IRC lib written in standard C99 + IRC netcat (a.k.a. icat)☆22Updated last year
- Kubernetes Container Runtime Interface daemon for running CloudABI jobs☆17Updated 6 years ago
- Httpfile is a HTTP server derived from publicfile-0.52☆9Updated last year
- Prepared statement support for the system command☆29Updated 4 years ago
- Enable piping of internal command output to external commands☆71Updated 6 years ago