[seL4] some question about mcs

Hi, 1.Did seL4-11.0.0https://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