A Call needs to be replied to. It’s a composition of Send and Recv. See section 2.2 of the manual. On Mon, Dec 4, 2017, at 08:24, Stefan Wallentowitz wrote:

Hi everyone,

I have built a very simple application that loads another process, which> is very similar to the tutorials. For testing I wanted to send from the> second process to the first one using seL4_Send and observe that the second process never continues after the seL4_Send blocked, despite the> receiver called seL4_Recv and got the message. If I call seL4_Call and> the receiver does seL4_Recv + seL4_ReplyRecv it works without any other> changes to the code. I am wondering if I am understanding something fundamentally wrong and/or what the best strategy to debug this behavior> is.

Thanks for your help!

Cheers, Stefan

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

-- cmr http://octayn.net/ +16038524272