On 13-05-23 4:51 PM, Steven Bosscher wrote: > Ping**2 > Steven, sorry for the delay. The patch is ok. Thanks for better documentation too. We need it as the scheduler is becoming more and more complicated.