scheduler determination

[Alexey Dokuchaev]

On Sat, May 24, 2003 at 05:48:55PM -0700, Hiten Pandya wrote:
> Hi Gang.
> 
> It would be really nice if there was a way to find out the name of
> the current scheduler in the system.  I have attached a patch which adds
> a sysctl called kern.sched.name, which does just that.
> 
> Comments and suggestions welcome.

Apart from what Jeff had already suggested, I think ``kern.scheduler''
is somewhat a better name.  8-)

./danfe