1 files changed, 10 insertions, 0 deletions

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