/* Setup the systick timer to generate the tick interrupts at the required frequency.  */
__weak void vSetupTimerInterrupt(void)
/* Setup the systick timer to generate the tick interrupts at the required frequency.  */
__weak void vSetupTimerInterrupt(void)
{
	portNVIC_SYSTICK_CTRL_REG = 0UL;
	portNVIC_SYSTICK_CURRENT_VALUE_REG = 0UL;
	portNVIC_SYSTICK_LOAD_REG = ( configCPU_CLOCK_HZ / configTICK_RATE_HZ ) - 1UL;
	portNVIC_SYSTICK_CTRL_REG = portNVIC_SYSTICK_CLK | portNVIC_SYSTICK_INT | portNVIC_SYSTICK_ENABLE;
}