ssrg-vt / hermituxView external linksLinks
A binary-compatible unikernel
☆398Aug 13, 2024Updated last year
Alternatives and similar repositories for hermitux
Users that are interested in hermitux are comparing it to the libraries listed below
Sorting:
- ☆36Jan 12, 2023Updated 3 years ago
- A sandboxed execution environment for unikernels☆970Nov 7, 2025Updated 3 months ago
- HermitCore: A C-based, lightweight unikernel☆227Nov 5, 2021Updated 4 years ago
- Unikernel Linux☆225Aug 13, 2025Updated 6 months ago
- Hermit for Rust.☆1,870Updated this week
- a small statically-linked linux system☆3,033Updated this week
- A kernel designed to run one and only one application in a virtualized environment☆3,063Feb 1, 2026Updated last week
- ZFS, in Python, without reading the original C.☆567May 7, 2019Updated 6 years ago
- OSv, a new operating system for the cloud.☆4,231Dec 21, 2025Updated last month
- Linux in Unikernel Clothing☆71Oct 12, 2021Updated 4 years ago
- A minimal, resource efficient unikernel for cloud services☆5,210Jan 8, 2026Updated last month
- ☆654Jan 15, 2026Updated last month
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,437Jan 21, 2026Updated 3 weeks ago
- A Rust-based, lightweight unikernel.☆1,401Updated this week
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆929Apr 14, 2021Updated 4 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 5 years ago
- The Unikernel & MicroVM Compilation and Deployment Platform☆2,801Apr 27, 2023Updated 2 years ago
- The Rumprun unikernel and toolchain for various platforms☆1,171May 11, 2020Updated 5 years ago
- Manticore is a research operating system, written in Rust.☆295Dec 1, 2023Updated 2 years ago
- A simple way to write standalone C programs for i386☆257Feb 25, 2024Updated last year
- A set of minimal dependency bootstrap binaries☆1,026May 23, 2025Updated 8 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,599Jun 17, 2022Updated 3 years ago
- ops - build and run nanos unikernels☆1,462Jan 28, 2026Updated 2 weeks ago
- State of the art for unikernels☆220Apr 30, 2024Updated last year
- A distributed operating system☆1,454Jul 29, 2022Updated 3 years ago
- A Go unikernel running on x86 bare metal☆2,313Jul 22, 2023Updated 2 years ago
- ☆294Jun 9, 2024Updated last year
- unfork(2) is the inverse of fork(2). sort of.☆1,485Apr 21, 2024Updated last year
- Unikernel and immutable infrastructures☆623Feb 16, 2022Updated 3 years ago
- build-once run-anywhere c library☆20,537Jan 25, 2026Updated 3 weeks ago
- A fast high-compression read-only file system for Linux, FreeBSD, macOS and Windows☆2,503Updated this week
- bootOS is a monolithic operating system in 512 bytes of x86 machine code.☆2,026Jan 11, 2026Updated last month
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,354Feb 28, 2023Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- Programmable debugger☆1,971Updated this week
- Popcorn Linux kernel for distributed thread execution☆171Jul 16, 2023Updated 2 years ago
- Linux i386 tool to load and execute ME modules.☆135Feb 21, 2021Updated 4 years ago
- The x86 processor fuzzer☆5,004Feb 20, 2024Updated last year
- Python library for configuring and building unikernels☆178Jan 18, 2023Updated 3 years ago