OK, thanks Indan.
___
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
Hello,
On 2023-12-05 11:40, chenpingyuan--- via Devel wrote:
Thanks Indan for your detail reply.
By ready queue, I did mean the scheduling queue since the code named it
as ksReadyQueues.
Oh, good, I wasn't sure any more.
For threads unbound from a SC, this thread will be removed from both
Thanks Indan for your detail reply.
By ready queue, I did mean the scheduling queue since the code named it as
ksReadyQueues.
For threads unbound from a SC, this thread will be removed from both
ksReadyQueues and ksReleaseHead according the code below:
void schedContext_unbindTCB(sched_context_t
Hello,
On 2023-12-05 01:47, chenpingyuan--- via Devel wrote:
By saying " threads that are blocked waiting in an endpoint or
notification queue will remain in the queue and can still recieve
messages and signals.", does it mean that those threads blocked waiting
in an endpoint or notification q
