We've verified that the organization unikraft controls the domain:
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
C 434 634
Define, configure, build, and run Unikraft unikernel applications.
Python 103 22
Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).
Assembly 12 3
A simple "Hello World" application written in C
C 3 6
kraft-ready repo for building Go applications with Unikraft
Go 6 3
Nginx on Unikraft
HTML 3 6
Unikraft port of the OpenSSL libraries
Unikraft port of psimd, portable SIMD intrinsics
Unikraft port of pthread-embedded, an embedded pthread library
Unikraft port of lzma compression library
Unikraft port of the lwip network stack
Unikraft port of the Google testing and mocking framework
Unikraft port of NGINX
Unikraft port of Google Benchmark, a microbenchmark support library
Port of ICU as a Unikraft external library
