[seL4] Re: Question about non-blocking notification