31 Dec
2022
31 Dec
'22
10:57 a.m.
Hi,
Do I need to use seL4-NBSend() for sending a non-blocking signal (cause seL4_Signal() is blocking)?