[seL4] How are capabilities assigned

Sebastian Lau sebastianlau25 at gmail.com
Mon Feb 16 17:54:52 EST 2015


I have a question, how are capabilities assigned or given to processes? Is
it through the kernel or can the root process (like init etc.) assign
capabilities as well? Also is IPC managed by calls to the kernel? I have in
mind to base something off of seL4 in the future but I'm not quite ready to
start though and just want to get an understanding of how things work.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20150216/45ddc02a/attachment.html>


More information about the Devel mailing list