TI 员工，大家好：
CC3200SDK 同时支持Free_RTOS和TI_RTOS。
但TI_RTOS因为有对TCP/IP做优化（更适合CC3200），所以我想用TI_RTOS.
现在我发现在IAR下和CCS下都是FREE_RTOS的例子。我怎么用TI_RTOS呢？
（ 在CCS下，编译后oslib木木下free_rtos.a文件更新，但ti_rtos.a没更新）
http://processors.wiki.ti.com/index.php/CC32xx_SDK_Sample_Applications
上面的链接中给出了SDK Example中每个例子使用OS的情况，但标有TI_RTOS的，实际上并没有使用TI_RTOS，
这个不明白，望解答。
附图一张：
BR!
Lin Zhang
