From the following understood requirements:HAL_tick needs to be high priority so that it can be used in interrupt contextSysTick needs to be low priority as FreeRTOS assumes it can NOT change during interruptTickless sleep needs to turn off the tick ...