Hi All,
As far as I understand, in seL4, the notion of a subject is similar to
a thread (process). Each process has a different cspace and thus has
different capabilities. Correct me, if I am wrong.
Currently, we can make different components say server and client which
run on the same seL4 kernel. They can interact with each other by
creating endpoint and adding capability for that endpoint, in others
cspace.
Now, I want to extend it and run client and server on different host
machines which run seL4. The threads (client and server) thus generated
will be different users as per the standard linux convention.
a) How does the communication happen in such a scenario in seL4? The
problem which I see is how the capabilities for endpoint on one machine
will be minted into other machine's process cspace.
b) I also want to understand the notion of a user in seL4.
--
Thanks and Regards,
Amit Goyal
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
