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