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 1 month ago
arch arch/arm: Copy atomic.h from Arm64 to Arm32 1 month ago
doc Release: 0.4 Rhea 1 month ago
include/uk lib/posix-user: Add more group file related functions 1 month ago
lib lib/vfscore: fix null pointer dereference 1 month ago
plat lib/uksched, plat/*: Fix error handling with uk_posix_memalign() 1 month ago
support build: Print including of sub-Makefiles (verbose only) 1 month ago
.checkpatch.conf build: Add build and configuration framework 2 years ago
.clang-format build: Add build and configuration framework 2 years ago
.gitignore doc: Remove empty `_static` file 4 months ago
CODING_STYLE.md doc: Project operation documentation 2 years ago
CONTRIBUTING.md doc: Reduce pressure in 'selector' choosing instructions 1 year ago
COPYING.md doc: Project operation documentation 2 years ago
Config.uk kconfig: Determine the default arch from CC 6 months ago
MAINTAINERS.md lib/uklibparam: Introduce the library parameter 7 months ago
Makefile build: Call `gitsha1` from Unikraft base 1 month ago
Makefile.uk build: Add -no-pie flag to Go units 1 month ago
README.md README.md: update to match current state of project. 1 month ago
version.mk Release: 0.4 Rhea 1 month ago

README.md

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.

Contributing

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 .