hermit-os / libhermitLinks
HermitCore: A C-based, lightweight unikernel
☆227Updated 4 years ago
Alternatives and similar repositories for libhermit
Users that are interested in libhermit are comparing it to the libraries listed below
Sorting:
- Akaros Operating System☆327Updated 3 years ago
- A binary-compatible unikernel☆398Updated last year
- CloudABI's standard C library☆300Updated 5 years ago
- Manticore is a research operating system, written in Rust.☆295Updated 2 years ago
- userspace tools for linux libos☆98Updated 3 years ago
- A simple educational linux container runtime.☆115Updated 5 years ago
- Popcorn Linux kernel for distributed thread execution☆171Updated 2 years ago
- Python library for configuring and building unikernels☆178Updated 3 years ago
- Unikernel Linux☆226Updated 5 months ago
- EbbRT: elastic building block runtime☆77Updated last year
- Tools for running rump unikernels in userspace☆57Updated 10 years ago
- Minimalistic Operating System for Xen☆66Updated 3 years ago
- A component-based OS☆199Updated this week
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- Wiki for rump kernels☆462Updated 2 years ago
- ☆143Updated 2 weeks ago
- A sandboxed execution environment for unikernels☆968Updated 3 months ago
- POSIX-like scalable multicore research OS kernel☆197Updated 5 years ago
- ☆186Updated 5 years ago
- Working draft of nextgen malloc implementation for musl libc☆123Updated 5 years ago
- Pthreads-free Linux threading demo☆159Updated 6 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆308Updated 6 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- Arrakis public repository.☆263Updated 8 years ago
- Generic eBPF runtime☆151Updated 4 years ago
- ☆93Updated 2 months ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- Definitions for the CloudABI data types and system calls☆135Updated 5 years ago
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 5 years ago
- The Rumprun unikernel and toolchain for various platforms☆1,169Updated 5 years ago