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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20160902/cfa003c5/attachment.html>