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

29 Nov 2023


      Thanks Gernot for the quick response.
Your answer confirms my understanding.
Thanks a lot.

chenpingyuan＠xiaomi.com