
17 Nov
2016
17 Nov
'16
7:38 p.m.
What's the difference between seL4RPC and seL4RPCCall in CAmkES? Is there documentation on the various connectors somewhere? Thanks, Andrew