diff --git a/AUTHORS b/AUTHORS
index 4806d034..85445a9b 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -11,6 +11,7 @@ Nils Durner <durner@gnunet.org>
 Heikki Lindholm <holindho@cs.helsinki.fi>
 Alex Sadovsky <alexeysad@gmail.com>
 Greg Schohn <greg.schohn@gmail.com>
+Thomas Martin <Thomas.Martin@rohde-schwarz.com>
 
 Documentation contributions also came from:
 Marco Maggi <marco.maggi-ipsu@poste.it>
diff --git a/src/include/platform.h b/src/include/platform.h
index eba8b614..caab6e23 100644
--- a/src/include/platform.h
+++ b/src/include/platform.h
@@ -52,11 +52,21 @@
 #include <pthread.h>
 #include <sys/types.h>
 
+
 /* different OSes have size_t, fd_set in
    a broad range of header files;
    we just include most of them (if they
    are available) */
 
+
+#ifdef OS_VXWORKS
+#include <sockLib.h>
+#include <netinet/in.h>
+#include <stdarg.h>
+#include <sys/mman.h>
+#define RESTRICT __restrict__
+#endif
+
 #if HAVE_SYS_SELECT_H
 #include <sys/select.h>
 #endif
diff --git a/src/include/plibc.h b/src/include/plibc.h
index a939b0c8..2021b4cf 100644
--- a/src/include/plibc.h
+++ b/src/include/plibc.h
@@ -591,6 +591,6 @@ extern "C"
 
 
 #endif
-//_PLIBC_H_
+/* _PLIBC_H_ */
 
 /* end of plibc.h */