FreeRTOS support options