A tiny driver for the Texas Instruments CC3000 wireless network controller