*/\r
#if( configOVERRIDE_DEFAULT_TICK_CONFIGURATION == 0 )\r
\r
- void vPortSetupTimerInterrupt( void )\r
+ __weak void vPortSetupTimerInterrupt( void )\r
{\r
/* Calculate the constants required to configure the tick interrupt. */\r
#if( configUSE_TICKLESS_IDLE == 1 )\r