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
- Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs☆24Updated 4 years ago
- BSD-licensed 9P2000.u/.L server library☆32Updated last year
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆30Updated 2 months ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- The control panel for your cloud's memory☆35Updated 8 years ago
- ltrace clone that uses bcc + uprobes instead of ptrace☆47Updated 6 years ago
- Prepared statement support for the system command☆29Updated 4 years ago
- Asynchronous and more versatile replacement of posix_spawn☆20Updated 3 years ago
- Httpfile is a HTTP server derived from publicfile-0.52☆9Updated last year
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 9 years ago
- VirtioVsock☆16Updated 6 years ago
- Painless Linux sandboxing API☆14Updated 8 months ago
- The Akaros operating system☆41Updated 4 years ago
- Label-based networking daemon☆22Updated 6 years ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆38Updated 3 years ago
- opensnoop in pure C using eBPF☆97Updated last year
- Experimental Linux Virtual Machine based on UML and noMMU☆64Updated 4 years ago
- FreeBSD's BHyVe project☆27Updated 12 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆77Updated 2 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆13Updated 6 years ago
- some core unix utils with focus on simplicity and ability to build standalone.☆40Updated last year
- Virtio draft specification☆64Updated 11 years ago
- atomfs is a pseudo filesystem for managing container layers☆10Updated last year
- change or display the stack size of an ELF binary☆22Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆103Updated 5 months ago
- Github Actions wrapper for vmtest☆11Updated last month
- A library that allows processes to waive their rights☆27Updated 9 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- Fast edit-compile-test cycles for Linux+OpenZFS development☆26Updated this week