FreeRTOS documentation updates #402

Closed keithm-xmos closed 2 years ago