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