Unleash the Power of Unikernels!

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.

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.

Unikraft supports the construction of multiple architectures, platforms, and images. The following tables give an overview of the current 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	-	-

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

• Quick-start guide
• What is a unikernel?
• Unikraft's inherent security benefits
• Performance of Unikraft
• POSIX-compatibility with Unikraft
• Energy efficiency with Unikraft
• Unikraft Community
• Unikraft Documentation

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