[seL4] Question about non-blocking notification

[mincheol]

Hi,

Do I need to use seL4-NBSend() for sending a non-blocking signal (cause 
seL4_Signal() is blocking)?
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems