Hi, So a sender seL4_Signal(ep) even before a receiver seL4_Wait(ep)? As seL4_Signal is non-blocking, the sender thread can proceed regardless of the receiver's state. The signal is also *recorded* such that the receiver can later receive the signal with seL4_Wait().
Am I correct? _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
