> then they rightly passes sched_idletd(). Any scheduler may define its > own version of sched_idletd(). Oops, youre right, I was just unable to read at the end of the day on Friday. Thanks! matthew