[seL4] Re: Sending extraCaps over IPC | Unable to send 2 caps

Hi Jimmy, Thanks for your clarification. I do feel silly for having wasted 3 days on it. Next time I will ask sooner :) Sid On Thu, Apr 28, 2022 at 10:35 AM Jimmy Brush via Devel wrote:

Hello Sid,

You can only receive one capability over IPC.

However, if the sender "sends" extra caps that are badged to the receiver's endpoint, the receiver will receive their unwrapped badge values.

- JB _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems