Expanding the Unikraft Software Support Ecosystem
Contributor: Cristian Andrei
The core external libraries that power Unikraft (musl, lwip, and gcc) are currently a few years out of date. This creates technical debt and prevents...
Operating systems
Unikraft
A Fast and Secure Unikernel SDK
Technologies
assembly languageCGokvmxen
Topics
cloudsoftware configurabilitysoftware reusevirtualization
- Total projects
- 18
- Years participating
- 5
- Most recent
- 2026
Participation history
Historical projects
Add KraftKit Support for Hyperlight
Contributor: Jaidev Singh
This project adds Hyperlight as a new VMM backend in KraftKit, enabling Unikraft unikernels to run with `kraft run --plat hyperlight`. The work will...
Updating Application Libraries (Redis and Nginx)
Contributor: Radu Andrei
The Unikraft ports for popular applications like Redis and Nginx are currently outdated and fail to compile with the latest kernel core. This project...
Expanding the Unikraft Software Catalog
Contributor: vTusharr
This project expands the Unikraft application catalog by porting five widely used server applications across key infrastructure categories: DNSmasq ,...
Update Newlib and Pthread-embedded Libraries
Contributor: Abolfazl Soltanisamani
This project focuses on restoring and modernizing Newlib support within the Unikraft unikernel framework, which previously removed Newlib after...
Expanding the Unikraft Software Support Ecosystem
Contributor: prasoon054
The goal of this project is to expand the Unikraft ecosystem by enabling the execution of popular applications through binary-compatibility mode....
Testing Framework for Unikraft Builds
Contributor: Shashank Srivastava
I have to develop a testing framework that is able to multiplex the variety of configuration options, VMMs, hypervisors, architectures, boot...
Linux x86 Boot Protocol Support
Contributor: Mihnea Firoiu
While Unikraft may have the bare minimum implementation required to receive and process the information passed from Firecracker under the form of the...
Multiboot2 Support in Unikraft
Contributor: Maria Pana
Unikraft is a unikernel capable to boot in various environments and through quite a few boot protocols. From supporting the first version of...
UEFI Graphics Output Protocol Support in Unikraft
Contributor: Sriprad Potukuchi
When it comes to modern baremetal environments as well as second generation Virtual Machines, Unikraft's ability to print debugging logs to the...
Synchronization Support in Internal Libraries
Contributor: Yang Hu
This project aims to integrate additional memory allocators with the Unikraft core library, enhancing support for multithreaded applications and...
Enhancing the VSCode Developer Experience
Contributor: MdSahil-oss
In this project, I will upgrade the VSCode extension to use KraftKit, the newly released CLI companion tool for Unikraft rewritten in Go. The project...
re:Arch Unikraft
Contributor: Rares Miculescu
Unikraft is an automated system for building specialized POSIX-compliant OSes (unikernels). These unikernels are configured for the needs of specific...
Expanding binary compatibility mode
Contributor: Tianyi Liu
One of the weak points of most unikernel projects has always been application support, often requiring that applications be ported to the target...
Arm CCA Support for Unikraft
Contributor: Zhang Xingjian
This project aims to add Arm Arm Confidential Computing Architecture (CCA) support to the Unikraft ecosystem, which is a step of “Unikraft as the...
Adding SMP synchronization
Contributor: Sairaj Kodilkar
At the moment, Unikraft can leverage a single processor only. While there can be multiple threads (i.e., multiprogramming), no two activities...
Shadow Stack
Contributor: Maria Sfîrăială
Control-flow hijacking attacks represent one of the most recurrent methods of gaining fine grained access to a system. Forward edge attacks (through...
Intel SGX-based Isolation for Unikraft
Contributor: Xiangyi
This proposal describes my planned work for Intel SGX-based Isolation for Unikraft. It will enable SGX support for Unikraft, which provides strong...