BitThunder patched version of FreeRTOS.