`sched_clock' changed from 144 in sched_4bsd.o to 258 in sched_ule.o

[Neil Short]

--- On Fri, 6/12/09, Mel Flynn <mel.flynn+fbsd.questions at mailing.thruhere.net> wrote:

> From: Mel Flynn <mel.flynn+fbsd.questions at mailing.thruhere.net>
> Subject: Re: `sched_clock' changed from 144 in sched_4bsd.o to 258 in sched_ule.o
> To: freebsd-questions at freebsd.org
> Cc: "Neil Short" <neshort at yahoo.com>
> Date: Friday, June 12, 2009, 9:21 AM
> On Friday 12 June 2009 06:44:50 Neil
> Short wrote:
> > I'm taking a crack at the port win4bsd. The port
> informs me that I need to
> > add options SCHED_4BSD
> > to my kernel.
> 
> It's an either/or thing. Remove SCHED_ULE. 
> -- 
> Mel
> 

I was starting to suspect as much after having found the related man pages. Do you know if sched_4bsd is required for the port win4bsd? It's definitely required for the port install; but I wonder if I can change it back afterwards.