Skip to content

Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

License

epfl-dcsl/unikraft

 
 

Repository files navigation

Unikraft

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!

Contributing

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 dev-discuss@unikraft.org.

Additional resources

License

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

About

Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 76.7%
  • Python 13.6%
  • Perl 3.6%
  • Assembly 2.5%
  • C++ 1.2%
  • Shell 1.0%
  • Other 1.4%