[seL4] IPC

tj5527 tj5527 at protonmail.com
Thu Feb 22 10:46:49 AEDT 2018


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20180221/a0591e93/attachment.html>


More information about the Devel mailing list