FreeRTOS Port Implementation for Linux using POSIX threads - View it on GitHub