I'm using PSoC6 with tickless enabled FreeRTOS to develop a product that need the lowest power consumption. I know how to enable the tickless feature in FreeRTOS: Just change the macro configUSE_TICKLESS_IDLE to 1 in FreeRTOSconfig.h. I have a doubt that how the FreeRTOS can implement the lowest power consumption by using SysTick as its tick timer. Because I found the port.c provided by Cypress is used SysTick to its default tick timer. And as I know the SysTick is belong to the CPU core and is the high frequency hardware resource. If I need to do some modification about the port.c is there some existing example show how to do.
You can refer to the following page that gives you information on how to change the tick interrupt source for low power saving: