Is it "strict co-scheduling"? This means all vCPUs must be running at the same time. Or is it "relaxed coscheduling"? This means it doesn't always need to run them all at the same time. This is the scheduler used by ESX and Hyper-V. This would help determine how many virtual machines I can run on my laptop at the same time without hitting scheduling contention. Thanks.