29 Nov
2023
29 Nov
'23
5:49 p.m.
Hello experts,
I'm reading the code of seL4 kernel, but I got confused how seL4 could help to avoid priority inversion. seL4 itself doesn't change the priority of TCB at the kernel level, does it mean that seL4 leaves the user level to handle priority inversion?
Regards
Neil.