WIP

src/freertosinc.h

@@ -37,5 +37,13 @@ typedef uint32_t BaseType_t;
 #define portMAX_DELAY UINT32_MAX
 
 #define tskIDLE_PRIORITY 0
+#define configMAX_PRIORITIES 10 // Highest priority level
+
+// Don't do anything on non free rtos platforms when done with the ISR
+#define portYIELD_FROM_ISR(x)
+
+enum eNotifyAction {
+    eNoAction
+};
 
 #endif