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
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
