Re: kern/sched_core.c?

Andrew R. Reiter wrote:
> On Thu, 29 Jun 2006, Ivan Voras wrote:
> 
> :What is kern/sched_core.c? Is it a new scheduler?
> :If so, what are its characteristics - are there any papers on its design?
> 
> Read back a few weeks in your mail queue.

Which list? Can't find anything in current_at_, architecture_at_ or smp_at_ (at 
least not when searching for "core" or "sched").