#include <stdio.h>
#include <stdlib.h>
#include <string.h>
+#include <assert.h>
#include <ctype.h>
#include <errno.h>
#ifdef _WIN32
#include <winsock2.h>
#include <ws2tcpip.h>
+#include <sys/types.h>
+#include <sys/stat.h>
#endif
// --- platform specific headers ---
#ifdef HAVE_SYS_POLL_H
#include <sys/poll.h>
#endif
+
+#ifdef __ECOS
+/* missing from eCos */
+#ifndef EFAULT
+#define EFAULT 14 /* Bad address */
+#endif
+#endif
+
#ifdef HAVE_NETINET_IN_H
#include <netinet/in.h>
#endif
#include <fcntl.h>
#endif
+#ifndef true
+#define true 1
+#define false 0
+#endif
+
#endif // SYSTEM_H