Hello Sid,
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?
Quoting from the manual: "The sender information is the badge of the
endpoint
capability that was invoked by the sender"
About unwrapping it says: "If the n-th capability in the message refers
to
the endpoint through which the message is sent, the capability is
unwrapped:
its badge is placed into the n-th position of the receiver’s badges
array"
For practical purposes unwrapping only seems useful in case more than
one
badge is needed or when cap transfer happened, e.g. because of
delegation.
Like A passes cap to B, B passes it to C, and there it gets unwrapped
because it's the same EP, and C wants to know A's badge, not B's.
Greetings,
Indan
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
