From the following link http:// www. ti.com/ lsds/ti/microcontrollers_16-bit_32-bit/c2000_performance/safety/tms570/tools_software.page#time I found that there are few RTOS supporting TMS570 family of MCUs. Kindly provide the benchmarking results of those RTOS (comparison document) with the performance metrices.
Also provide the procedure followed for the performance metrices during benchmarking.
Thanks in advance ! Happy New Year !