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
- Cryptographic signing, ported from BSD for Linux, that uses instructions of modern CPUs☆24Updated 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
- experiments in linux sandbox stuff☆25Updated 9 years ago
- VirtioVsock☆16Updated 6 years ago
- The Akaros operating system☆41Updated 4 years ago
- Sandboxing File System☆46Updated 5 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆13Updated 6 years ago
- EbbRT: elastic building block runtime☆75Updated 8 months ago
- Painless Linux sandboxing API☆15Updated 10 months 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
- FreeBSD's BHyVe project☆28Updated 12 years ago
- Virtio draft specification☆65Updated 11 years ago
- The No-Order File System (NoFS)☆46Updated 12 years ago
- x86info : x86 processor register decoder.☆42Updated 2 months ago
- some core unix utils with focus on simplicity and ability to build standalone.☆40Updated last year
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- ltrace clone that uses bcc + uprobes instead of ptrace☆47Updated 7 years ago
- OpenBSD unveil(2) like function in Linux using Landlock☆24Updated 3 weeks ago
- Function tracer for gcc☆35Updated 8 years ago
- Gain access to qcow2 virtual disk images as a user-space filesystem☆62Updated 5 years ago
- portable version of OpenBSD's signify(1) signature tool☆13Updated 9 years ago
- A basic UNIX shell implementation in C☆32Updated 5 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- An init utility purely written in Rust.☆24Updated 7 years ago
- ☆52Updated 10 years ago
- atomfs is a pseudo filesystem for managing container layers☆10Updated last year