Hi Markus, I am currently porting WINC1500 WiFi-module which is a WLAN for Arduino MKR1000 This is another WiFi module similar to the CC3100&CC3200 network processor. I successfully made it communicating with a host MCU just yesterday. I think I will make a PR within next week to discuss about WINC1500 driver and porting a network layer (maybe socket). It will be useful information for you to port the CC3200. I will let you know when I make a PR in Github.
Best Regards, Bumsik Kim.