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