Unikernel Linux
☆227Aug 13, 2025Updated 6 months ago
Alternatives and similar repositories for ukl
Users that are interested in ukl are comparing it to the libraries listed below
Sorting:
- Linux in Unikernel Clothing☆71Oct 12, 2021Updated 4 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- EbbRT: elastic building block runtime☆77Jul 23, 2024Updated last year
- ☆127Feb 3, 2026Updated 3 weeks ago
- A sandboxed execution environment for unikernels☆971Feb 20, 2026Updated last week
- A binary-compatible unikernel☆398Aug 13, 2024Updated last year
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,456Feb 12, 2026Updated 2 weeks ago
- ☆13Apr 9, 2022Updated 3 years ago
- State of the art for unikernels☆220Apr 30, 2024Updated last year
- ☆21Apr 15, 2022Updated 3 years ago
- The lazypoline syscall interposer☆29May 4, 2025Updated 9 months ago
- ☆211May 3, 2022Updated 3 years ago
- Tools for running rump unikernels in userspace☆57Dec 12, 2015Updated 10 years ago
- Loupe: Syscall Usage Analysis Tool☆46Updated this week
- Hermit for Rust.☆1,875Feb 16, 2026Updated last week
- Nautilus Aerokernel☆48May 11, 2022Updated 3 years ago
- Linux kernel source tree☆886Feb 16, 2026Updated last week
- ☆20Feb 18, 2026Updated last week
- A kernel designed to run one and only one application in a virtualized environment☆3,069Updated this week
- Kernel-Bypass LibOS Architecture☆1,212Feb 18, 2026Updated last week
- Clone of Unikraft having patches for UCC2018 Tutorial☆11Dec 16, 2018Updated 7 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 5 years ago
- ☆654Feb 16, 2026Updated last week
- Kernel-Mode-Linux☆24Aug 18, 2022Updated 3 years ago
- MirageOS is a library operating system that constructs unikernels☆2,848Updated this week
- system call hook for Linux☆622Jan 6, 2025Updated last year
- musl: A C standard library☆17Jan 22, 2026Updated last month
- ☆11Apr 25, 2021Updated 4 years ago
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,323Updated this week
- Virtualisation platform using CHERI for isolation and sharing☆40Jun 5, 2024Updated last year
- A specialized hypervisor for Hermit.☆278Updated this week
- Linux-based partitioning hypervisor☆1,909May 18, 2024Updated last year
- The Hedron Microhypervisor☆84Oct 8, 2023Updated 2 years ago
- virtio implementation☆436Feb 9, 2026Updated 2 weeks ago
- GCC plugin for C language that tracks references to allocated objects☆30May 12, 2025Updated 9 months ago
- Open memory disaggregation☆25Apr 21, 2020Updated 5 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆40Apr 3, 2020Updated 5 years ago
- Build Mirage unikernels with Nix☆48Feb 5, 2026Updated 3 weeks ago
- A Rust-based, lightweight unikernel.☆1,406Updated this week