From owner-freebsd-hackers Sat Jul 1 0:46:41 2000 Delivered-To: freebsd-hackers@freebsd.org Received: from mass.osd.bsdi.com (dialup1.lemis.com [192.109.197.1]) by hub.freebsd.org (Postfix) with ESMTP id 98AE537B960 for ; Sat, 1 Jul 2000 00:46:32 -0700 (PDT) (envelope-from msmith@mass.osd.bsdi.com) Received: from mass.osd.bsdi.com (localhost [127.0.0.1]) by mass.osd.bsdi.com (8.9.3/8.9.3) with ESMTP id AAA02229; Sat, 1 Jul 2000 00:50:51 -0700 (PDT) (envelope-from msmith@mass.osd.bsdi.com) Message-Id: <200007010750.AAA02229@mass.osd.bsdi.com> X-Mailer: exmh version 2.1.1 10/15/1999 To: Poul-Henning Kamp Cc: KATO Takenori , hackers@FreeBSD.ORG Subject: Re: invlpg produces strange sig11 on PentiumPro box In-reply-to: Your message of "Sat, 01 Jul 2000 08:54:00 +0200." <8484.962434440@critter.freebsd.dk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Sat, 01 Jul 2000 00:50:51 -0700 From: Mike Smith Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG > 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