I’ve just downloaded Posix_GCC_Simulator_6.0.4.zip, but when I try to build my project I find that timer.h is missing. And including timer.h from the FreeRTOS/include doesn’t help as it renders lots of other error messages.
What is the procedure to get timer-definitions when running Posix simulator?