[seL4] Re: How to avoid priority inversion in seL4

[chenpingyuan--- via Devel]

Thanks Gernot for the quick response.
Your answer confirms my understanding.
Thanks a lot.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems