Could you please provide a hint on how to build for AVR or STM32? Cmakelists in demo folder have set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -pthread") string. Is it enough to add platform-dependent headers, throw away pthreads and add
if(dispatch_event(State_Machines, 1) == EVENT_UN_HANDLED){...} to firmware infinite loop?