ssrg-vt / hermitux-kernelLinks
☆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
Sorting:
- 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
- experiments in linux sandbox stuff☆25Updated 10 years ago
- The control panel for your cloud's memory☆36Updated 9 years ago
- Tool to create ABI reports from ELF binaries in packaging☆16Updated 5 years ago
- some core unix utils with focus on simplicity and ability to build standalone.☆40Updated last year
- A low-level, C, stream-based, asynchronous 9P implementation☆12Updated 11 years ago
- Painless Linux sandboxing API☆16Updated last year
- A deceptively simple way to add a configuration file to a command-line application.☆16Updated 4 months ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated last year
- picotrace - system call process tracer☆39Updated 5 years ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- portable version of OpenBSD's signify(1) signature tool☆13Updated 9 years ago
- myLinux is an embedded operating system based on Buildroot and Finit☆84Updated last year
- A basic UNIX shell implementation in C☆32Updated 5 years ago
- Label-based networking daemon☆23Updated 6 years ago
- Prepared statement support for the system command☆29Updated 4 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated last year
- Library for writing text-based user interfaces☆12Updated 7 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Portable Event Library☆17Updated 2 months ago
- BSD-licensed 9P2000.u/.L server library☆33Updated last year
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆36Updated 7 years ago
- A readline replacement. This is an evolution of the tinyrl library from clish.☆10Updated 9 years ago
- Custom Linux distribution built with cloud operability in mind☆9Updated 9 years ago
- change or display the stack size of an ELF binary☆22Updated 6 years ago
- A small suite of scripts and patches for building musl libc cross compilers.☆35Updated 9 years ago
- GRPC-like RPC library that supports file descriptor passing by using Argdata☆18Updated 6 years ago
- Enable piping of internal command output to external commands☆71Updated 6 years ago