adam at os.inf.tu-dresden.de
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 os.inf.tu-dresden.de
More information about the l4-hackers