Unikraft

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

This project adds Hyperlight as a new VMM backend in KraftKit, enabling Unikraft unikernels to run with `kraft run --plat hyperlight`. The work will...

The Unikraft ports for popular applications like Redis and Nginx are currently outdated and fail to compile with the latest kernel core. This project...

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

This project focuses on restoring and modernizing Newlib support within the Unikraft unikernel framework, which previously removed Newlib after...

The goal of this project is to expand the Unikraft ecosystem by enabling the execution of popular applications through binary-compatibility mode....

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