--- /dev/null
+#ifndef OS-DK_Types_
+#define OS-DK_Types_
+
+typedef unsigned char uint8_t;
+typedef unsigned short uint16_t;
+typedef unsigned int uint32_t;
+typedef unsigned long long uint64_t;
+
+typedef char int8_t;
+typedef short int16_t;
+typedef int int32_t;
+typedef long long int64_t;
+
+typedef unsigned short size_t;
+
+typedef char bool;
+
+#ifndef true
+# define true 0==0
+#endif
+
+#ifndef false
+# define false 0==1
+#endif
+
+#ifndef NULL
+# define NULL 0
+#endif
+
+#endif
\ No newline at end of file