Port TI's CC3000-SDK to GCC