[seL4] Re: Question on TCB without SC in receiveSignal

Thanks Indan for you patient and professional answer. I read your reply more than 10 times, ^_^. Still one thing to confirm: Threads which are blocked waiting for notification/endpoint without schedule context will remain in the ready queue, right?