Hi,

we are using Genode on Fiasco.OC and want to use different Scheduler for different CPU-Cores.

Is there a way to assign a Scheduler to a CPU-Core in Genode?

Thank you

Stefan Edinger