Re: [seL4] seL4RPC vs seL4RPCCall?

2016-11-17 Thread Stephen.Sherratt
l <devel-bounces@sel4.systems> on behalf of Andrew Gacek <andrew.ga...@gmail.com> Sent: Friday, 18 November 2016 5:38 AM To: devel@sel4.systems Subject: [seL4] seL4RPC vs seL4RPCCall? What's the difference between seL4RPC and seL4RPCCall in CAmkES? Is there documentation

[seL4] seL4RPC vs seL4RPCCall?

2016-11-17 Thread Andrew Gacek
What's the difference between seL4RPC and seL4RPCCall in CAmkES? Is there documentation on the various connectors somewhere? Thanks, Andrew ___ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel