> In message <[EMAIL PROTECTED]>, KATO Takenori writ
> es:
> >The invlpg instruction causes strange signal 11 problem on some
> >PentiumPro box.  This problem seems to hapen when (1) mother board is
> >very old and (2) BIOS update is not available and (3) cpuid < 0x619.
> >
> >Following patch automatically disables invlpg when PentiumPro with
> >cpuid < 0x619 is found.
> >
> >Please comment to this patch.
> 
> I'm against this patch.  This is so specific and marginal to a
> out-of-spec hardware configuration, that it should not be put in
> the FreeBSD tree.

I'd disagree with that.  This is just the same as the 0xf00f workaround, 
saving only in degree.  If it's something that can be done as eg. a KLD 
we might want to do that instead, or through some other mechanism for 
handling these sort of CPU quirks.

-- 
\\ Give a man a fish, and you feed him for a day. \\  Mike Smith
\\ Tell him he should learn how to fish himself,  \\  [EMAIL PROTECTED]
\\ and he'll hate you for a lifetime.             \\  [EMAIL PROTECTED]




To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-hackers" in the body of the message

Reply via email to