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☆971Updated this week
- HermitCore: A C-based, lightweight unikernel☆227Nov 5, 2021Updated 4 years ago
- Unikernel Linux☆227Aug 13, 2025Updated 6 months ago
- Hermit for Rust.☆1,880Feb 25, 2026Updated last week
- a small statically-linked linux system☆3,035Updated this week
- A kernel designed to run one and only one application in a virtualized environment☆3,074Updated this week
- ZFS, in Python, without reading the original C.☆567May 7, 2019Updated 6 years ago
- OSv, a new operating system for the cloud.☆4,235Dec 21, 2025Updated 2 months ago
- Linux in Unikernel Clothing☆71Oct 12, 2021Updated 4 years ago
- A minimal, resource efficient unikernel for cloud services☆5,217Jan 8, 2026Updated last month
- ☆654Feb 25, 2026Updated last week
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,487Feb 27, 2026Updated last week
- A Rust-based, lightweight unikernel.☆1,407Updated 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,804Apr 27, 2023Updated 2 years ago
- The Rumprun unikernel and toolchain for various platforms☆1,172May 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 22, 2026Updated last week
- A set of minimal dependency bootstrap binaries☆1,028May 23, 2025Updated 9 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,468Updated this week
- State of the art for unikernels☆220Apr 30, 2024Updated last year
- A Go unikernel running on x86 bare metal☆2,316Jul 22, 2023Updated 2 years ago
- A distributed operating system☆1,458Jul 29, 2022Updated 3 years ago
- ☆296Jun 9, 2024Updated last year
- unfork(2) is the inverse of fork(2). sort of.☆1,485Apr 21, 2024Updated last year
- build-once run-anywhere c library☆20,601Jan 25, 2026Updated last month
- The No-Order File System (NoFS)☆49Oct 23, 2012Updated 13 years ago
- Unikernel and immutable infrastructures☆628Feb 16, 2022Updated 4 years ago
- A fast high-compression read-only file system for Linux, FreeBSD, macOS and Windows☆2,514Updated this week
- bootOS is a monolithic operating system in 512 bytes of x86 machine code.☆2,031Jan 11, 2026Updated last month
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,354Feb 28, 2023Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- Programmable debugger☆2,032Feb 20, 2026Updated 2 weeks ago
- 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 5 years ago
- The x86 processor fuzzer☆5,008Feb 20, 2024Updated 2 years ago