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
- 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
- Sandboxing File System☆46Updated 5 years ago
- Label-based networking daemon☆22Updated 6 years ago
- portable version of OpenBSD's signify(1) signature tool☆13Updated 8 years ago
- atomfs is a pseudo filesystem for managing container layers☆10Updated last year
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- ☆30Updated 3 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆13Updated 6 years ago
- Lightweight efficient scriptable process manager☆23Updated 10 years ago
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆39Updated 2 weeks ago
- Painless Linux sandboxing API☆14Updated 9 months ago
- Kubernetes Container Runtime Interface daemon for running CloudABI jobs☆17Updated 6 years ago
- A set of shims to allow unmodified programs to run nicely in rootless containers.☆31Updated 7 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆31Updated 3 months ago
- view based o.s.☆39Updated last month
- ZeroVM Run-Time environment☆65Updated 9 years ago
- some core unix utils with focus on simplicity and ability to build standalone.☆40Updated last year
- Docker images for people who want to try out building IncludeOS unikernels without having to install the development environment locally …☆17Updated 6 years ago
- opensnoop in pure C using eBPF☆99Updated last year
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- Prepared statement support for the system command☆29Updated 4 years ago
- Enable piping of internal command output to external commands☆71Updated 6 years ago
- VirtioVsock☆16Updated 6 years ago
- Custom Linux distribution built with cloud operability in mind☆9Updated 8 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- Lightweight cross-platform IRC lib written in standard C99 + IRC netcat (a.k.a. icat)☆22Updated 10 months ago
- Software update mixer and related tools☆28Updated 2 months ago