Ну это такой очень специфичный диспетчер со встроенными двумя
"потоками", вытесняющими друг друга, с фиксированным приоритетом
устроенным отношением частот таймеров и подвешенными на аппаратные
таймеры. В большинстве RTOS шедулер вызывается с частотой 1мс. При
этом 1-мс потоку подвешенному у тебя на таймер 1мс, так как у него
высший приоритет он будет выдавать время каждые 1мс. А вот на
второй твой 10мс-поток он может переключаться чрез 10мс, при этом
на 1мс поток он будет переключаться сначала всегда, как на приоритетный. Когда отработал 1мс, переключися на 10мс и отработал и он - переключится на фоновую задачу или sleep-task. Таймер как видишь один 1мс.