I have implemented some code that uses the simple task scheduler from the TivaWare utilities (2.1.2.111). I noticed that the task interval appeared to be too fast. So, I debugged into SchedulerInit(), and saw it was calling SysCtlClockGet(). This function is not valid on 129x devices.
Is there an update or way to use the scheduler on the 1294 without rewriting the code myself?