Unikernel Linux
☆228Aug 13, 2025Updated 7 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☆72Oct 12, 2021Updated 4 years ago
- A sandboxed execution environment for unikernels☆972Mar 10, 2026Updated last week
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,512Mar 6, 2026Updated 2 weeks ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- State of the art for unikernels☆220Apr 30, 2024Updated last year
- ☆13Apr 9, 2022Updated 3 years ago
- A binary-compatible unikernel☆397Aug 13, 2024Updated last year
- Tools for running rump unikernels in userspace☆57Dec 12, 2015Updated 10 years ago
- Silm your kernel with better configuration.☆39May 3, 2024Updated last year
- ☆21Apr 15, 2022Updated 3 years ago
- ☆211May 3, 2022Updated 3 years ago
- Clone of Unikraft having patches for UCC2018 Tutorial☆11Dec 16, 2018Updated 7 years ago
- OSv, a new operating system for the cloud.☆4,240Dec 21, 2025Updated 2 months ago
- A kernel designed to run one and only one application in a virtualized environment☆3,086Updated this week
- GCC plugin for C language that tracks references to allocated objects☆30May 12, 2025Updated 10 months ago
- Kernel-Mode-Linux☆25Aug 18, 2022Updated 3 years ago
- The lazypoline syscall interposer☆29May 4, 2025Updated 10 months ago
- Linux kernel source tree☆888Feb 16, 2026Updated last month
- ☆20Mar 1, 2026Updated 2 weeks ago
- Open memory disaggregation☆25Apr 21, 2020Updated 5 years ago
- Hermit for Rust.☆1,883Mar 13, 2026Updated last week
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- Workshop collections of Firecracker.☆13Aug 2, 2020Updated 5 years ago
- A micro hypervisor for running micro VMs☆275Aug 22, 2024Updated last year
- Loupe: Syscall Usage Analysis Tool☆46Updated this week
- A Rust-based, lightweight unikernel.☆1,410Mar 13, 2026Updated last week
- Nautilus Aerokernel☆48May 11, 2022Updated 3 years ago
- Kernel-Bypass LibOS Architecture☆1,215Feb 18, 2026Updated last month
- ☆654Mar 11, 2026Updated last week
- Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan☆375Jul 16, 2025Updated 8 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆44Mar 6, 2026Updated 2 weeks ago
- Linux-based partitioning hypervisor☆1,915May 18, 2024Updated last year
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,388Updated this week
- A thin-hypervisor that runs on aarch64 CPUs.☆103Feb 22, 2026Updated 3 weeks ago
- A specialized hypervisor for Hermit.☆284Updated this week
- Ilúvatar is an open Serverless platform built with the goal of jumpstarting and streamlining FaaS research. It provides a system that is …☆24Feb 27, 2026Updated 3 weeks ago
- ☆13Oct 17, 2021Updated 4 years ago
- The Rumprun unikernel and toolchain for various platforms☆1,172May 11, 2020Updated 5 years ago
- musl: A C standard library☆17Feb 26, 2026Updated 3 weeks ago