> This assumes that we aren't stuck running other tasks for more > than 10ms (including all interrupts that may occur). When the > timer task queue takes longer than a jiffy to work through, > we aren't able to flip every jiffy.
No no - its worse than that. A 1mS delay to the schedule() call adds another 10% of chars to the flip buffer...