Unikraft Guides

Learn how to use Unikraft in new ways with our series of guides which help you get started.

Unikraft Open-Source Community

Unikraft is developed in the spirit of open source: public discussions on Discord, open source licensing model using BSD-3-Clause, public development and management on GitHub.

Building Dockerfile Images with Buildkit

This guide shows how to install buildkit to allow you to build Dockerfile images with Unikraft.

Behind the Scenes with the Application Catalog

This guide presents internal technical information about the application catalog. It shows what is happening behind the scenes and how you can get more control on the build and run phases.

Using Firecracker in the Application Catalog

This guide presents internal technical information about using Firecracker with the application catalog.

Hackathon Challenges

Listing of hackathon challenges, together with awarded points

Debugging

Unikernels aim to be a more efficient method of virtualization, and this can sometimes cause problems. This guide aims to familiarize you with solving problems encountered during the development using GDB. This is going to be a more practical guide, with a focus on exercises.

Baby Steps - Unikraft Internals

We start presenting the modular architecture of Unikraft and how students can build their unikernels using the manual, `make`-based approach. Expected time: 100 minutes

Introduction to Unikernels and Unikraft

We go over the basics of unikernels, their purpose and the motivation behind building unikernels with the library Operating System model. We present the setup we use for the hackathon and check everything is OK before proceeding to actual work items. Expected time: 15 minutes

Overview

We present the initial steps in setting up the Unikraft development / usage environment. Students will use the basic Unikraft toolchain to set up, configure, build and run Unikraft images. Expected time: 60 minutes

Testing Concepts

We are going to explore the idea of validation by testing. The main focus will be testing but we also tackle other validation methods such as fuzzing and symbolic execution.

Testing Unikraft

In this guide we discuss Unikraft's framework. We show key functions and data structures.

Using the Application Catalog

This guide presents the Unikraft application catalog and how to use it: build and run applications. It is meant for anyone interested in using Unikraft and benefiting from technical advantages of unikernels.

Connect with the community

Feel free to ask questions, report issues, and meet new people.

Join us on Discord!

Getting Started

What is a unikernel?Install CLI companion tool Unikraft Internals Roadmap

Community

Events & Meetups Talks & Presentations Papers & Publications Hackathons Contributing Team

Features

Performance Security Efficiency Compatibility