Hi Indan,
On 2022-04-30 20:23, Sid Agrawal wrote:
I can hand out badged EP of the same original endpoint to all the
server's
clients. Now unwrapping will reveal the badge of any badged EP cap since
they are badged versions of the EP via which the message arrives.
How is this different than the sender information that seL4_Recv()
provides?
IIUC, Sid is describing exactly that functionality. Is it incorrect to
refer to that as unwrapping? I've always thought of unwrapping as a
general term that describes both scenarios.
- JB
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
