Genode + Fiasco.OC: How to access multiple run queues?

[Guru Siddesh]

Hello L4-hackers ,

I'm writing a Genode component which should access and modify the Run
queues of the scheduler.

Based on what I have read and looked there will be one scheduler for
each processor.  How to access the different scheduler objects and Run
queues from Genode side?

I have looked through the code and able to print the run queue from the
ready_queue_fp.cpp.

But how do you access 2 run queues when number of processors is more than
one?

And what is the easy way to manipulate these from Genode component.?

PS: I have read Genode book and have a basic idea of Genode architecture.

Best regards,
Guru
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160805/4d893da2/attachment.html>