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

5 Dec 2023

      Thanks Indan.

I'll try to have some debugging to fullly understand what you said.

Thanks a lot.

chenpingyuan＠xiaomi.com