Hi Corey, yes, the idea is that endpoints are badged when you send messages.
Cheers, Gerwin > On 2 Jan 2016, at 05:58, Corey Richardson <[email protected]> wrote: > > Looking at the manual and the C impl, it seems there is no robust way to > determine if a non-blocking send failed. How should an application handle > this? > > NBRecv sets the badge register to zero when the recv "failed" - is it expected > that most/all endpoints will be badged? I'm still trying to get a feel for > what a system designed for this model would look like. > > -- > cmr > +16032392210 > http://octayn.net/ > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
