Warning:
This document is just a HTML prototype of the PDF book
Genode Foundations.
This version is not feature-complete and contains various bugs, compare the
issue on GitHub.
So if you do not want to deal with these problems, use the original PDF version.