Hi, I finally got some time to make this stuff work (it boots!).I haven't actually done any benchmarks etc.. but various people expressedinterest in the fold put_prev_task into pick_next_task thing.Please give it a spin or so..