You could start by looking at [1]  and follow the references from there. 


Cheers.

Anna. 


[1] http://sigops.org/sosp/sosp13/papers/p133-elphinstone.pdf



From: Devel <devel-bounces@sel4.systems> on behalf of tj5527 <tj5527@protonmail.com>
Sent: Thursday, 22 February 2018 10:46 AM
To: devel@sel4.systems
Subject: [seL4] IPC
 
Searching on the sel4 repository, I find there is a manual talking about IPC (https://github.com/seL4/seL4/blob/9dba8e67ccb54e207bbec22e25f21c65e5c6a45f/manual/parts/ipc.tex)

In addition to this material, where - particularly source code - would be a good start point to look into IPC design and implementation?  

Thanks