hermit-os / libhermit
HermitCore: A C-based, lightweight unikernel
☆224Updated 3 years ago
Alternatives and similar repositories for libhermit:
Users that are interested in libhermit are comparing it to the libraries listed below
- A binary-compatible unikernel☆392Updated 7 months ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Unikernel Linux☆187Updated last week
- Akaros Operating System☆316Updated 3 years ago
- A sandboxed execution environment for unikernels☆928Updated 2 weeks ago
- CloudABI's standard C library☆298Updated 4 years ago
- ☆183Updated 5 years ago
- Minimalistic Operating System for Xen☆65Updated 2 years ago
- ☆136Updated 10 months ago
- userspace tools for linux libos☆95Updated 3 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆63Updated 5 years ago
- A simple educational linux container runtime.☆106Updated 4 years ago
- State of the art for unikernels☆213Updated 10 months ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Wiki for rump kernels☆461Updated last year
- ☆627Updated this week
- Working draft of nextgen malloc implementation for musl libc☆119Updated 4 years ago
- Ready-made packages of software for running on the Rumprun unikernel☆204Updated 2 years ago
- EbbRT: elastic building block runtime☆75Updated 8 months ago
- ☆232Updated 6 years ago
- Definitions for the CloudABI data types and system calls☆132Updated 4 years ago
- This is the source for the new Clive system built at Lsub.☆89Updated 8 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- opensnoop in pure C using eBPF☆99Updated last year
- Generic eBPF runtime☆149Updated 3 years ago
- Popcorn Linux kernel for distributed thread execution☆160Updated last year
- A component-based OS☆190Updated last month
- Linux in Unikernel Clothing☆70Updated 3 years ago
- POSIX-like scalable multicore research OS kernel☆188Updated 4 years ago
- The Akaros operating system☆41Updated 4 years ago