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 > [email protected] > https://sel4.systems/lists/listinfo/devel -- cmr http://octayn.net/ +16038524272
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
