Partitioned Scheduling

Adam Lackorzynski adam at
Mon Aug 29 23:03:27 CEST 2016


On Sun Aug 28, 2016 at 18:17:24 +0000, Edinger, Stefan wrote:
> is it possible to have partitioned scheduling in the way that one can
> use different schedulers for different cpu-cores?

No, there's just one scheduler in the kernel, for all cores.
However, given that scheduling is core-local only, cores could
principally also have different schedulers.

> And if yes, can I do the mapping from scheduler to core on runtime or
> is it done at compile time?

Adam                 adam at

More information about the l4-hackers mailing list