Hi,
1.Did seL4-11.0.0<https://docs.sel4.systems/releases/sel4/11.0.0>
support mcs, I found some CONFIG_KERNEL_MCS in this release version ? or must
use seL4 10.1.1-mcs <https://docs.sel4.systems/releases/sel4/10.1.1-mcs.html>
branch?
2'Where I can find some example about mcs in project? The introduction of Wiki
is too simple , I can 't make the param of seL4_SchedControl_Configure is
correct?
Thank you very much
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
