FreeRTOS Kernel, initially ported to the SAM3X series