Unikernel Linux
☆231Aug 13, 2025Updated 9 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 sandboxed execution environment for unikernels☆978May 29, 2026Updated last week
- A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.☆3,666Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 4 years ago
- State of the art for unikernels☆220Apr 30, 2024Updated 2 years ago
- A binary-compatible unikernel☆399Aug 13, 2024Updated last year
- Tools for running rump unikernels in userspace☆57Dec 12, 2015Updated 10 years ago
- Silm your kernel with better configuration.☆41May 3, 2024Updated 2 years ago
- ☆21Jun 1, 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,253Jun 1, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A kernel designed to run one and only one application in a virtualized environment☆3,148May 31, 2026Updated last week
- GCC plugin for C language that tracks references to allocated objects☆31May 12, 2025Updated last year
- Kernel-Mode-Linux☆26Aug 18, 2022Updated 3 years ago
- The lazypoline syscall interposer☆29May 4, 2025Updated last year
- Linux kernel source tree☆902Updated this week
- ☆22Mar 1, 2026Updated 3 months ago
- Hermit for Rust.☆1,922Jun 1, 2026Updated last week
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- A micro hypervisor for running micro VMs☆279Aug 22, 2024Updated last year
- 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.
- Loupe: Syscall Usage Analysis Tool☆48Updated this week
- Nautilus Aerokernel☆50May 11, 2022Updated 4 years ago
- Kernel-Bypass LibOS Architecture☆1,228Feb 18, 2026Updated 3 months ago
- ☆661Updated this week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆47Apr 8, 2026Updated 2 months ago
- Linux-based partitioning hypervisor☆1,933May 18, 2024Updated 2 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆102May 28, 2026Updated last week
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,734Updated this week
- A specialized hypervisor for Hermit.☆290Jun 1, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MirageOS is a library operating system that constructs unikernels☆2,927May 8, 2026Updated last month
- Ilúvatar is an open Serverless platform built with the goal of jumpstarting and streamlining FaaS research. It provides a system that is …☆25Jun 2, 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
- Build Mirage unikernels with Nix☆54Feb 5, 2026Updated 4 months ago
- sched_ext schedulers and tools☆2,024Updated this week