You just read:

FreeRTOS Now Available for Tensilica Processors

News provided by

Cadence Design Systems, Inc.

Apr 15, 2015, 10:45 ET