Question about non-blocking notification
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)?
1180
Age (days ago)
1181
Last active (days ago)
5 comments
3 participants
participants (3)
-
mincheol＠vt.edu -
Nataliya Korovkina -
William ML Leslie