diff --git a/minimal.h b/minimal.h
new file mode 100644
index 0000000000..bc192199c4
--- /dev/null
+++ b/minimal.h
@@ -0,0 +1,8 @@
+#include <limits.h>
+#include <stdint.h>
+
+#define MY_USHORT (unsigned short) ULONG_MAX
+
+typedef unsigned long TickType_t;
+#define portMAX_DELAY (TickType_t) ULONG_MAX
+const TickType_t __portMAX_DELAY = portMAX_DELAY;