Hi, I'm trying to put in some temporary feature in Genode to set the affinity of threads. In Genode the scheduler capability (L4_BASE_SCHEDULER_CAP) doesn't seem to be passed from the core to the children. Is there any obvious way to do this with the existing Genode implementation - we can hack up a solution but I wanted to check first.
Thanks Daniel