[seL4] CAmkES Access to TCBs

I am attempting to develop a userland scheduler to manage the release times and deadlines of other threads executing in the system. I would like to use CAmkES as much as possible, since it abstracts away many messy and error-prone details.

Question: How do we specify in CAmkES that a scheduler component has access to TCBs of other CAmkES components?

Thanks, -John