The main product isn't the board -- CC3000+STM32 -- but rather the glorious and inscrutable cloud service that goes with it. The board designs are even being given away for free, it's OSHW.
I am not seeing a cloud "operating system". Maybe I'm missing something??
But most of the magic is the cloud app that each device maker writes that does the heavy lifting, and that's pure web service; i.e. if it's X o'clock send command to turn on the sprinklers, unless it is raining in the user's zip code.
and, uh, cough I just joined Spark as well...