Hello all.
I'm new to CC3200 and trying to develop an application for the launchpad using a Timer.
Energia has the timer.h module, and I've found TI's documentation for the General Purpose Timer module, along with a few code snippets.
My code dies when calling TimerConfigure(base, type). I think that this is because the timer peripherals need need to be enabled as a system peripheral before they can be manipulated.
It looks like SysCtlPeripheralEnable(SYSCTL_PERIPH_TIMERx) is what you'd call before calling the TimerXxx functions. However, the cc3200 driverlib doesn't have a s