Using TivaWare version 2.1.2.111 I have been setting my clock frequency to 96 MHz using SysCtlClockFreqSet() with no problem. After updating to TivaWare 2.1.3.156, the clock frequency is now being set to 80 MHz.
The code I use:
g_ui32SysClock = SysCtlClockFreqSet((SYSCTL_XTAL_25MHZ | SYSCTL_OSC_MAIN | SYSCTL_USE_PLL | SYSCTL_CFG_VCO_480), 96000000);
Executing this line of code using TivaWare 2.1.2.111, the value returned to g_ui32SysClock will be 96000000, but when executing using TivaWare 2.1.3.156, the value returned to g_ui32SysClock will be 80000000.
I know that the SysCtlClockFreqSet() function has been updated in the new version of TivaWare, but it seems as if this update broke something.
Regards,
Simon