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:
- Akaros Operating System☆320Updated 3 years ago
- A simple educational linux container runtime.☆112Updated 4 years ago
- A binary-compatible unikernel☆395Updated last year
- A sandboxed execution environment for unikernels☆946Updated 3 weeks ago
- CloudABI's standard C library☆299Updated 4 years ago
- A component-based OS☆191Updated 6 months ago
- Manticore is a research operating system, written in Rust.☆293Updated last year
- EbbRT: elastic building block runtime☆75Updated last year
- Popcorn Linux kernel for distributed thread execution☆163Updated 2 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Unikernel Linux☆206Updated last week
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Wiki for rump kernels☆462Updated 2 years ago
- Generic eBPF runtime☆150Updated 4 years ago
- ☆138Updated 4 months ago
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- ☆185Updated 5 years ago
- userspace tools for linux libos☆96Updated 3 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆305Updated 5 years ago
- Microkernel-based system for heterogeneous manycores☆109Updated 4 years ago
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- Ready-made packages of software for running on the Rumprun unikernel☆204Updated 2 years ago
- Working draft of nextgen malloc implementation for musl libc☆121Updated 4 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆75Updated 3 years ago
- ☆292Updated last year
- The Akaros operating system☆41Updated 4 years ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- ☆232Updated 6 years ago
- libtls tutorial, exercises, test CA and exercise solutions☆162Updated last year