In my process to improve on power consumption on the CC3200 using FreeRTOS Tickless idle I came across the problem with Cystic being a 24 bit timer.
Using a 1mS tick at 80 Mhz this resulted in ~200mS max of sleep. On further research I came across the PAOSC option where SysTick can be clocked at 10Mhz thus possibly extending the duration to around 1677mS.
Having had a look at the source code I specifically noticed that the NVIC is configured such as to ensure SysTick runs at the full 80MHz core clock.
My questions are:
Q1: Is there any reason FreeRTOS does not make standard provision for using this alternative clock option?
Q2: Is there anything specific to consider before using this CLKSOURCE=0 option?
Q3: What mechanism would the the simplest and most portable to implement this option?
All help appreciated.