We thank all the authors involved in this software, see the file AUTHORS for detail. Furthermore, we thank the following contributors: The L4Ka team for their microkernel, their generous support, and their input on our design questions. The following individuals for their support: Bas Wijnen If you are not on this list because we forgot to add you, please let us know, so we can fix it!