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  <b.wijnen@phys.rug.nl>
Marco Gerards  <metgerards@student.han.nl>
Maurizio Boriani  <debauxit@yahoo.it>
Peter Bruin  <pjbruin@dds.nl>
Rian Hunter <hurd@thelaststop.net>.

If you are not on this list because we forgot to add you, please let
us know, so we can fix it!