[seL4] Re: Question about non-blocking notification

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?