Be sure to also check out Unikraft, a Unikernel SDK [0]!

[0]: https://github.com/unikraft/unikraft