rumpkernel / wiki
Wiki for rump kernels
☆461Updated last year
Related projects ⓘ
Alternatives and complementary repositories for wiki
- The Rumprun unikernel and toolchain for various platforms☆1,138Updated 4 years ago
- Ready-made packages of software for running on the Rumprun unikernel☆203Updated last year
- A sandboxed execution environment for unikernels☆907Updated last month
- Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan☆369Updated last year
- A DNS server that automatically starts unikernels on demand☆304Updated 8 years ago
- HermitCore: A C-based, lightweight unikernel☆220Updated 3 years ago
- The `docker run unikernel` demo DockerCon EU (Nov 2015)☆142Updated 8 years ago
- Akaros Operating System☆314Updated 2 years ago
- CloudABI's standard C library☆296Updated 4 years ago
- ☆230Updated 6 years ago
- The Click modular router: fast modular packet processing and analysis☆136Updated 2 years ago
- Arrakis public repository.☆253Updated 7 years ago
- The tiny Init service for HyperContainer☆134Updated 5 years ago
- userspace tools for linux libos☆95Updated 2 years ago
- Network Stack in Userspace☆291Updated 5 months ago
- Experimental KVM-based VMM for containers, written in Go.☆1,681Updated 4 years ago
- Minimal x86 firmware for booting Linux kernels☆704Updated 2 years ago
- Linux kernel with Capsicum support☆205Updated 4 years ago
- Provides a platform to experiment with using Docker to build, distribute and run unikernels.☆95Updated 6 years ago
- Ulix, the Literate Unix☆175Updated 8 years ago
- Native Linux KVM tool☆154Updated 7 years ago
- minimal freestanding C library for bare-metal i386 development☆268Updated 8 years ago
- A minimal C runtime for Linux i386 & x86_64☆581Updated 2 years ago
- Unikernel Linux☆181Updated this week
- Tool for launching a Linux process from a snapshot☆449Updated 9 years ago
- Hypervisor-based Runtime for OCI☆826Updated 3 years ago
- App Container Specification and Tooling (archived, see https://github.com/rkt/rkt/issues/4024)☆1,256Updated 6 years ago
- Distributed I/O Daemon - a 9P file server☆353Updated 7 months ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago