hermit-os / libhermitLinks
HermitCore: A C-based, lightweight unikernel
☆226Updated 3 years ago
Alternatives and similar repositories for libhermit
Users that are interested in libhermit are comparing it to the libraries listed below
Sorting:
- A binary-compatible unikernel☆398Updated last year
- Akaros Operating System☆320Updated 3 years ago
- CloudABI's standard C library☆300Updated 5 years ago
- A component-based OS☆191Updated 8 months ago
- Manticore is a research operating system, written in Rust.☆293Updated last year
- A simple educational linux container runtime.☆113Updated 4 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Unikernel Linux☆218Updated 2 months ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Wiki for rump kernels☆460Updated 2 years ago
- A sandboxed execution environment for unikernels☆954Updated 3 weeks ago
- Popcorn Linux kernel for distributed thread execution☆167Updated 2 years ago
- ☆141Updated 6 months ago
- userspace tools for linux libos☆96Updated 3 years ago
- EbbRT: elastic building block runtime☆77Updated last year
- Minimalistic Operating System for Xen☆66Updated 3 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- ☆185Updated 5 years ago
- Generic eBPF runtime☆150Updated 4 years ago
- Working draft of nextgen malloc implementation for musl libc☆123Updated 4 years ago
- A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…☆119Updated 4 years ago
- ☆35Updated 2 years ago
- POSIX-like scalable multicore research OS kernel☆193Updated 5 years ago
- A one-stop shop for process isolation☆106Updated 2 months ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- Distributed I/O Daemon - a 9P file server☆378Updated 5 months ago
- ☆294Updated last year
- Definitions for the CloudABI data types and system calls☆135Updated 5 years ago
- The Akaros operating system☆41Updated 5 years ago
- libtls tutorial, exercises, test CA and exercise solutions☆161Updated last year