Thank you On Thu, Jan 25, 2024 at 7:09 AM Indan Zupancic <in...@nul.nu> wrote:
> Hello Leonid, > > On 2024-01-24 21:16, Leonid Meyerovich wrote: > > I don't have any faults if I use seL4_Recv instead (in a separate > > thread). > > It happens only if I use seL4_NBRecv and check the tag after it > > returns. > > If there is no message or fault pending, seL4_NBRecv() will return > immediately. > When that happens, the badge value will be zero and no messageInfo will > be > returned. That is, whatever was in register X1 at the time of the call > will > be returned. > > You have to use non-zero badges and check the badge value for > non-blocking > system calls, assuming you actually want non-blocking behaviour, which > is > unlikely. > > The only way to find this out is by reading the code, it's not > documented > in the manual as it should have been. > > Greetings, > > Indan > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
