This is a FreeRTOS 7.4.2 port for PIC32 family