TI-RTOS 源代码在哪

TI-RTOS内核是否开源 ？  在哪个文件夹下 ？  （SDK版本：tirtos_cc13xx_cc26xx_2_21_00_06）

我再TI官网上看到下面这一段话：

但我在CC1310的SDK里面并没有找到源码，例如 Semaphore_post()

请单独下载TI RTOS： http://software-dl.ti.com/dsps/dsps_public_sw/sdo_sb/targetcontent/tirtos/index.html

TI-RTOS内核代码在ROM里，为了把Flash更多存储空间让给客户应用代码，Kernel只需要占用一点点Flash和Ram空间

http://dev.ti.com/tirex/#/?link=Software%2FSimpleLink%20CC2640R2%20SDK%2FSimpleLink%20Academy%2FOverview