My setup: EK-TM4C1294XL Eval, CC3100, tirtos_tivac_2_14_00_10, tirtos_simplelink_2_14_03_28
The bare metal examples all work and I've written a bare metal http server for the CC3100 that connects to an access point using smartconfig. The access point was setup by adding it as a profile and setting to station mode. Now I want to move to TI-RTOS. The rtos examples for the CC3100 do not return from sl_start. What am I missing?