You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Simon Kuenzer 00bbf2cf50 Release: 0.4 Rhea 11 months ago
arch arch/arm: Copy atomic.h from Arm64 to Arm32 11 months ago
doc Release: 0.4 Rhea 11 months ago
include/uk lib/posix-user: Add more group file related functions 11 months ago
lib lib/vfscore: fix null pointer dereference 11 months ago
plat lib/uksched, plat/*: Fix error handling with uk_posix_memalign() 11 months ago
support build: Print including of sub-Makefiles (verbose only) 11 months ago
.checkpatch.conf build: Add build and configuration framework 3 years ago
.clang-format build: Add build and configuration framework 3 years ago
.gitignore doc: Remove empty `_static` file 1 year ago doc: Project operation documentation 3 years ago doc: Reduce pressure in 'selector' choosing instructions 2 years ago doc: Project operation documentation 3 years ago kconfig: Determine the default arch from CC 1 year ago lib/uklibparam: Introduce the library parameter 1 year ago
Makefile build: Call `gitsha1` from Unikraft base 11 months ago build: Add -no-pie flag to Go units 11 months ago update to match current state of project. 11 months ago Release: 0.4 Rhea 11 months ago

Unikraft - Unleash the Power of Unikernels

Unikraft is an automated system for building specialized OSes and unikernels tailored to the needs of specific applications. It is based around the concept of small, modular libraries, each providing a part of the functionality commonly found in an operating system (e.g., memory allocation, scheduling, filesystem support, network stack, etc.).

Unikraft supports multiple target platforms (e.g., Xen, KVM and Linux userspace for development purposes), so that it is possible to build multiple images, one for each platform, for a single application without requiring the application developer to do any additional, platform-specific work. In all, Unikraft is able to build specialized OSes and unikernels targeted at specific applications without requiring the time-consuming, expert work that is required today to build such images.

Getting Started

The easiest way to get started with Unikraft is to follow the instructions on our website’s getting started page.


If you’re interested in contributing please take a look at the list of open projects. If one of these interests you please drop us a line via the mailing list or directly at [email protected] .

Further Resources

For more information information about Unikraft, including user and developer guides, please refer to the docs/guides directory or point your browser to the Unikraft documentation. Further resources can be found on the project’s website .