Unikernel Linux
☆234Aug 13, 2025Updated 10 months ago
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☆75Oct 12, 2021Updated 4 years ago
- EbbRT: elastic building block runtime☆76Jul 23, 2024Updated last year
- ☆128Feb 3, 2026Updated 4 months ago
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,742Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- State of the art for unikernels☆220Apr 30, 2024Updated 2 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- A binary-compatible unikernel☆399Aug 13, 2024Updated last year
- ☆21Jun 17, 2026Updated last week
- ☆211May 3, 2022Updated 4 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,253Updated this week
- A kernel designed to run one and only one application in a virtualized environment☆3,154Jun 21, 2026Updated last week
- GCC plugin for C language that tracks references to allocated objects☆31May 12, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Kernel-Mode-Linux☆26Aug 18, 2022Updated 3 years ago
- The lazypoline syscall interposer☆30Jun 15, 2026Updated 2 weeks ago
- Linux kernel source tree☆906Jun 14, 2026Updated 2 weeks ago
- ☆22Mar 1, 2026Updated 3 months ago
- Open memory disaggregation☆25Apr 21, 2020Updated 6 years ago
- Hermit for Rust.☆1,931Jun 22, 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☆281Aug 22, 2024Updated last year
- 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.
- Loupe: Syscall Usage Analysis Tool☆48Updated this week
- A Rust-based, lightweight unikernel.☆1,465Updated this week
- Nautilus Aerokernel☆50May 11, 2022Updated 4 years ago
- Kernel-Bypass LibOS Architecture☆1,231Feb 18, 2026Updated 4 months ago
- ☆662Jun 22, 2026Updated last week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆48Apr 8, 2026Updated 2 months ago
- Linux-based partitioning hypervisor☆1,940May 18, 2024Updated 2 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆103May 28, 2026Updated last month
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,828Updated this week
- 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.
- A specialized hypervisor for Hermit.☆293Updated 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 …☆25Jun 17, 2026Updated last week
- ☆13Oct 17, 2021Updated 4 years ago
- The Rumprun unikernel and toolchain for various platforms☆1,176May 11, 2020Updated 6 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Jun 5, 2024Updated 2 years ago
- sched_ext schedulers and tools☆2,052Updated this week
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆57Jul 7, 2017Updated 8 years ago