请教关于适合C67XX的RTOS

目前手上有一个C67XX构成的DSP阵列硬件系统，整列规模在4~8片，想问一下有没有基于这类硬件平台的合适的RTOS，稍微查了一下，目前比较成熟的有<br />（1）3L公司的&nbsp;Diamond<br />（2）Eonic&nbsp;Systems公司的Virtuoso<br />（3）Enea公司的OSE<br /><br />有过相关开发经验的能帮忙比较一下上述几种产品吗？先谢啦