From what I’ve gathered the timer interrupt occurs every 1 tick. Every 10 ticks the clock timer callback is called from process_timers(), which then posts an event for the EventTimer handler. Then when main checks for events it will process the EventTimer handler if it’s at the front of the queue. Do you know how much of a delay there can be until the event is processed in an average/worst case scenario?
I know we’re getting into some abstract territory here, so don’t feel obligated to give me detailed answers as this is mostly for my own curiosity.