[briangold]

True for a general-purpose OS kernel. But in an embedded system or unikernel it could make a lot of sense.

[afiori]

Also in a microkernel architecture possibly; if the scheduling were cooperative within each process and preemptive between processes that would look like it could make everyone here happy.