Scheduling service

The scheduling service schedules tasks and partitions according to their timing requirements. It relies on the time service.

Partitions are scheduled using a cyclic scheduling algorithm.

Partitions threads are scheduled using a Round-Robin, RMS or other available scheduling algorithms.