Thank you for the extremely informative answer! It was very helpful.
Another question, if you allow me:
Will you provide preemptive scheduling primitives? Or will they be possible through the more low-level interface you described?
IMO preemptive scheduling is something that's very necessary nowadays, especially with the explosion of CPU core count.