This commit fixes how SMP FreeRTOS feeds the INT WDT. Previously, the port used vApplicationTickHook(). Now, all cores will feed the INT WDT in xPortSysTickHandler().
This commit fixes how SMP FreeRTOS feeds the INT WDT. Previously, the port used vApplicationTickHook(). Now, all cores will feed the INT WDT in xPortSysTickHandler().