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 devel@sel4.systems 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