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☆394Updated 9 months ago
- Akaros Operating System☆319Updated 3 years ago
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- Unikernel Linux☆206Updated 3 weeks ago
- A sandboxed execution environment for unikernels☆938Updated 2 months ago
- The Rumprun unikernel and toolchain for various platforms☆1,147Updated 5 years ago
- CloudABI's standard C library☆298Updated 4 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- A component-based OS☆189Updated 3 months ago
- Wiki for rump kernels☆461Updated last year
- EbbRT: elastic building block runtime☆75Updated 10 months ago
- This is the source for the new Clive system built at Lsub.☆89Updated 8 years ago
- A simple educational linux container runtime.☆109Updated 4 years ago
- Generic eBPF runtime☆151Updated 4 years ago
- Popcorn Linux kernel for distributed thread execution☆160Updated last year
- userspace tools for linux libos☆95Updated 3 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆304Updated 5 years ago
- Distributed I/O Daemon - a 9P file server☆366Updated last week
- Definitions for the CloudABI data types and system calls☆133Updated 4 years ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- ☆232Updated 6 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'…☆118Updated 4 years ago
- Portable, efficient, safe execution of untrusted x86 code☆124Updated 3 years ago
- State of the art for unikernels☆217Updated last year
- Ready-made packages of software for running on the Rumprun unikernel☆204Updated 2 years ago
- Bus1 Out-of-Tree Kernel Module☆190Updated 2 years ago