Question about non-blocking notification
30 Dec
2022
30 Dec
'22
11:57 p.m.
Hi, Do I need to use seL4-NBSend() for sending a non-blocking signal (cause seL4_Signal() is blocking)?
1350
Age (days ago)
1351
Last active (days ago)
5 comments
3 participants
participants (3)
-
mincheol＠vt.edu -
Nataliya Korovkina -
William ML Leslie