wo finde ich TI-RTOS für CC3200 in CCS 8?

Hallo zusammen

Ich habe hier einen launchpad cc3200-LAUNCHXLA
Zur Programmierung habe ich mir die aktuelle Version von CCS ( Version: 
8.1.0.00011) installiert. Ich versuche die ersten Schritte nach dem 
"getting started" swru376e nachzuvollziehen. Mein aktuelles 
Hauptproblem:

ich finde nicht das passende TI-RTOS CC32xx -
im getting-started steht ja, man soll es im app-Center suchen.
Da es dort nicht verfügbar ist habe ich diesen Beitrag gefunden:
https://e2e.ti.com/support/development_tools/code_composer_studio/f/81/t/569656?CCS-CCS-App-Center-does-not-list-TI-RTOS-Add-ons
danach soll es im Resources Explorer stehen.....
unabhängig davon, dass der Resources Explorer zeitweise irgendwie gar 
nicht funktioniert finde ich dort aber nur die RTOS für CC2650, MSP430 
und TivaC.

Hat jemand einen Hinweis, wo ich das passende RTOS finde und 
installieren kann??

grüße vom Martin