Re: Scheduler improvements

[Gregor Best]

> [...]
> I don't think changing the idle loop like this is ok.  You want to
> continue checking whether the runqueue is empty in between
> cpu_idle_enter() and cpu_idle_leave().
> [...]

Fair point. I'll change that :)

-- 
    Gregor Best