Comment by VanillaCafe

What does the super scheduler that coordinates the two schedulers approximately look like?