Integration of a standalone Wi-Fi chip (TI CC3100) in Linux

I am considering using a TI CC3100 WiFi chip with a SoC operating system running Linux. As far as I know, there is no native Linux driver that supports the CC3100. In addition, the interface to the CC3100 is SPI or UART (not SDIO or USB).

Does anyone know of driver support for such a WiFi device in Linux?