RTC library for CC3200 on the Energia Framework