Hi,
we may have found a bug in the ti-rtos source code, and we would know if there is a specific place to discuss or report it (like a pull request on github).
It would be way too long to write everything in a forum post, and quite hard to see the diff between the original source code and the proposed one.
Thanks in advance,
Best regards
Giuliano FRANCHETTO