Does anyone have any advice on the pros and cons of TI-RTOS vs FreeRTOS? We were originally building our project on another chip and planning on going with FreeRTOS, but when we switched to the CC3200 it seemed like TI-RTOS might be the logical choice.... however, in the C3200 example projects there seem almost be more examples that use FreeRTOS than TI-RTOS.
We are new to using RTOS, so any advice is appreciated!
Thanks,
Mark