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.
Alexander b8be82b4a4 Release: v0.5 Tethys 8 months ago
arch build: Add support for clang 8 months ago
doc lib/syscall_shim: `UK_(LL)SYSCALL_R_DEFINE()`: Use given return type 1 year ago
include/uk include: Provide ANSI control sequence helper 11 months ago
lib lib/posix-libdl: Add dlvsym stub 8 months ago
plat lib/uksignal: initial code 8 months ago
support support/build: Remove newline from echo 8 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 3 years ago doc: Project operation documentation 3 years ago Quotes to symbol 1 year ago lib/uklibparam: Introduce the library parameter 2 years ago
Makefile build: Add support for clang 8 months ago build/lto: Support LTO on gcc-10 8 months ago Update 1 year ago Release: v0.5 Tethys 8 months ago



Unleash the Power of Unikernels!

How Unikraft works

Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels; these images are tailored to the needs of specific applications. Unikraft 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) 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.

Typical Use Cases

Unikraft is a new system for ultra-light virtualization of your services in the cloud or at the edge, as well as extremely efficient software stacks to run bare metal on embedded devices. Smaller, quicker, and way more efficient than conventional systems:

Cold boot virtual machines in a fraction of a second While Linux-based systems might take tens of seconds to boot, Unikraft will be up in a blink.

📈 Deploy significantly more instances per physical machine Don’t waste CPU cycles on unneeded functionality – focus on your users’ needs.

📉 Drastic reductions in memory consumption With all your applications and data strongly separated into ultra light-weight virtual machines, scaling becomes a breeze.

🛡️ Ready for mission critical deployments Focus your trust on a minimal set of required components, significantly reduce your service’s attack surface, and minimize certification costs.

🏎 Outstanding performance Specializing the OS to meet your application’s needs is the key to achieving superior performance, making you ready to drive your infrastructure to the peak.

Supported Architectures and Platforms

Unikraft supports the construction of multiple architectures, platforms, and images. The following tables give an overview of the current support.

💡 Architecture Support

Architecture Status
x86 x86_64
Arm armv7, aarch64
RISC-V ⚙️ Issue #60

💻 Platform Support

Platform x86_64 arm32 arm64
Linux Userspace
Linux KVM
Xen Hypervisor ⚙️ Issue #34 ⚙️ Issue #62
Solo5 ⚙️ Issue #63
VMWare ⚙️ Issue #3 - -
Hyper-V ⚙️ Issue #61 - -

☁️ IaaS Providers

Cloud Provider Images
Amazon Web Services AMI, Firecracker
Google Compute Platform GCP Image
Digital Ocean Droplet

Getting Started

The fastest way to get started configuring, building and deploying Unikraft unikernels is to use our companion tool, kraft.

With kraft installed, you can download Unikraft components, configure your unikernel to your needs, build it and run it -- there’s no need to be an expert!


Contributions are welcome! Please see our Contributing Guide for more details. A good starting point is the list of open projects. If one of these interests you or you are interested in finding out more information, please drop us a line via the mailing list or directly at [email protected].

Further Resources

For more information about Unikraft, including user and developer guides, please refer to the docs/guides directory or vist the our documentation.


Unikraft is licensed under a BSD-3-Clause. For more information, please refer to