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☆319Updated 3 years ago
- A binary-compatible unikernel☆395Updated 11 months ago
- Manticore is a research operating system, written in Rust.☆294Updated last year
- CloudABI's standard C library☆298Updated 4 years ago
- Unikernel Linux☆207Updated last week
- ☆138Updated 3 months ago
- A component-based OS☆190Updated 5 months ago
- A simple educational linux container runtime.☆110Updated 4 years ago
- Popcorn Linux kernel for distributed thread execution☆162Updated 2 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- userspace tools for linux libos☆96Updated 3 years ago
- EbbRT: elastic building block runtime☆75Updated last year
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- Generic eBPF runtime☆151Updated 4 years ago
- ☆185Updated 5 years ago
- ☆291Updated last year
- Working draft of nextgen malloc implementation for musl libc☆120Updated 4 years ago
- A sandboxed execution environment for unikernels☆947Updated last week
- The Akaros operating system☆41Updated 4 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆305Updated 5 years ago
- Definitions for the CloudABI data types and system calls☆134Updated 4 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- Arrakis public repository.☆257Updated 7 years ago
- Pthreads-free Linux threading demo☆158Updated 5 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆197Updated 6 months ago
- Toy Green Threads for C.☆205Updated 8 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- Linux in Unikernel Clothing☆71Updated 3 years ago