Scheduler of each partition (level 1 of scheduling)

The POK_CONFIG_PARTITIONS_SCHEDULER specifies the scheduler used in each partition. This declaration is an array, each value $n$ corresponds to the scheduler used for partition $n$.

There is an example below. Here, the four partitions used the Round-Robin scheduler.

#define POK_CONFIG_PARTITIONS_SCHEDULER {POK_SCHED_RR,POK_SCHED_RR,POK_SCHED_RR,POK_SCHED_RR}