Texas Instruments CC3000 Host Driver with mspgcc support