TMS320C67XX port

I know – this is a DSP but any chance anyone tried to port RTOS to it?

TMS320C67XX port

I imagine that someone has tried to port an RTOS to this.