#define configSUPPORT_STATIC_ALLOCATION 1
#define INCLUDE_xEventGroupSetBitFromISR 1

// dummy typedefs to make it compile
#define pdTRUE 1
#define pdFALSE 0
#define portMAX_DELAY 0xffffffff