Unikraft

Expanding the Unikraft Software Support Ecosystem

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...

Add KraftKit Support for Hyperlight

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)

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

This project expands the Unikraft application catalog by porting five widely used server applications across key infrastructure categories: DNSmasq ,...

2025

3 projects

Update Newlib and Pthread-embedded Libraries

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

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

I have to develop a testing framework that is able to multiplex the variety of configuration options, VMMs, hypervisors, architectures, boot...

2024

4 projects

Linux x86 Boot Protocol Support

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

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

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

This project aims to integrate additional memory allocators with the Unikraft core library, enhancing support for multithreaded applications and...

2023

4 projects

Enhancing the VSCode Developer Experience

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

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

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

This project aims to add Arm Arm Confidential Computing Architecture (CCA) support to the Unikraft ecosystem, which is a step of “Unikraft as the...

2022

3 projects

Adding SMP synchronization

At the moment, Unikraft can leverage a single processor only. While there can be multiple threads (i.e., multiprogramming), no two activities...

Shadow Stack

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

This proposal describes my planned work for Intel SGX-based Isolation for Unikraft. It will enable SGX support for Unikraft, which provides strong...