This document discusses unikernels and the Unikraft toolkit. Unikraft is an automated system for building specialized POSIX-compliant operating systems called unikernels from modular libraries tailored for specific applications. It describes using Unikraft to build unikernel images, provides links to Unikraft documentation and apps, and discusses integrating Unikraft with Kubernetes and OpenNebula through demos. The document was created by Xavier Peralta and Miguel Angel Flores of CSUC for a unikernel hands-on tutorial.