[seL4] Question about non-blocking notification

30 Dec 2022

      Hi,

Do I need to use seL4-NBSend() for sending a non-blocking signal (cause seL4_Signal() is blocking)?

mincheol＠vt.edu