Date: Sat, 01 Jul 2000 00:50:51 -0700 From: Mike Smith <msmith@freebsd.org> To: Poul-Henning Kamp <phk@critter.freebsd.dk> Cc: KATO Takenori <kato@ganko.eps.nagoya-u.ac.jp>, hackers@FreeBSD.ORG Subject: Re: invlpg produces strange sig11 on PentiumPro box Message-ID: <200007010750.AAA02229@mass.osd.bsdi.com> In-Reply-To: Your message of "Sat, 01 Jul 2000 08:54:00 %2B0200." <8484.962434440@critter.freebsd.dk>
next in thread | previous in thread | raw e-mail | index | archive | help
> In message <20000701012941S.kato@gneiss.eps.nagoya-u.ac.jp>, 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, \\ msmith@freebsd.org \\ and he'll hate you for a lifetime. \\ msmith@cdrom.com To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200007010750.AAA02229>