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