rtel wrote on Wednesday, August 14, 2019:
The tick interrupt doesn’t run all the time. The clock is programmed to generate an interrupt at whatever time a task next needs to leave the blocked state, an in the default implementation the same clock is used for the tick interrupt.