Unikernel Linux
☆238Aug 13, 2025Updated last year
Alternatives and similar repositories for ukl
Users that are interested in ukl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Linux in Unikernel Clothing☆77Oct 12, 2021Updated 5 years ago
- EbbRT: elastic building block runtime☆76Jul 23, 2024Updated 2 years ago
- ☆134Sep 29, 2026Updated last month
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,911Updated this week
- ☆13Apr 9, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- State of the art for unikernels☆222Apr 30, 2024Updated 2 years ago
- A binary-compatible unikernel☆399Oct 21, 2026Updated last week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- Tools for running rump unikernels in userspace☆58Dec 12, 2015Updated 10 years ago
- A kernel designed to run one and only one application in a virtualized environment☆3,218Updated this week
- ☆22Jul 22, 2026Updated 3 months ago
- Silm your kernel with better configuration.☆41May 3, 2024Updated 2 years ago
- Hermit for Rust.☆1,977Updated this week
- A Rust-based, lightweight unikernel.☆1,510Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- OSv, a new operating system for the cloud.☆4,264Oct 7, 2026Updated 3 weeks ago
- ☆217May 3, 2022Updated 4 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆41Apr 3, 2020Updated 6 years ago
- MirageOS is a library operating system that constructs unikernels☆3,021Jul 28, 2026Updated 3 months ago
- The Rumprun unikernel and toolchain for various platforms☆1,178May 11, 2020Updated 6 years ago
- Loupe: Syscall Usage Analysis Tool☆53Updated this week
- Linux kernel source tree☆922Sep 28, 2026Updated last month
- VirtIO guest drivers in Rust.☆318Oct 20, 2026Updated last week
- Kernel-Bypass LibOS Architecture☆1,239Jul 23, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Open memory disaggregation☆25Apr 21, 2020Updated 6 years ago
- ☆675Sep 30, 2026Updated last month
- GCC plugin for C language that tracks references to allocated objects☆32May 12, 2025Updated last year
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- Unikernel and immutable infrastructures☆647Feb 16, 2022Updated 4 years ago
- A specialized hypervisor for Hermit.☆296Oct 10, 2026Updated 3 weeks ago
- The Unikernel & MicroVM Compilation and Deployment Platform☆2,827Apr 27, 2023Updated 3 years ago
- Linux-based partitioning hypervisor☆1,975May 18, 2024Updated 2 years ago
- Workshop collections of Firecracker.☆14Aug 2, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ilúvatar is an open Serverless platform built with the goal of jumpstarting and streamlining FaaS research. It provides a system that is …☆26Oct 13, 2026Updated 2 weeks ago
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆6,437Updated this week
- The development version of the L4Re Microkernel☆167Oct 23, 2026Updated last week
- Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan☆379Jul 16, 2025Updated last year
- ☆95Apr 8, 2024Updated 2 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆104May 28, 2026Updated 5 months ago
- Hodor-PKU☆27Sep 14, 2021Updated 5 years ago