Partitioned Scheduling

[Edinger, Stefan]

Hi,

is it possible to have partitioned scheduling in the way that one can use different schedulers for different cpu-cores?
And if yes, can I do the mapping from scheduler to core on runtime or is it done at compile time?

Thanks,

Stefan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160828/4600516f/attachment.html>