Add thanks file.

1 files changed, 13 insertions, 0 deletions

diff --git a/THANKS b/THANKS
new file mode 100644
index 0000000..243a6b1
--- /dev/null
+++ b/THANKS
@@ -0,0 +1,13 @@
+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>
+
+
+If you are not on this list because we forgot to add you, please let
+us know, so we can fix it!