From owner-freebsd-hackers Sat Jul 1 23:46:22 2000 Delivered-To: freebsd-hackers@freebsd.org Received: from server.baldwin.cx (server.geekhouse.net [64.81.6.52]) by hub.freebsd.org (Postfix) with ESMTP id 7138137BD5A; Sat, 1 Jul 2000 23:46:13 -0700 (PDT) (envelope-from john@baldwin.cx) Received: from john.baldwin.cx (root@john.baldwin.cx [192.168.1.18]) by server.baldwin.cx (8.9.3/8.9.3) with ESMTP id XAA22131; Sat, 1 Jul 2000 23:46:12 -0700 (PDT) (envelope-from john@baldwin.cx) Received: (from john@localhost) by john.baldwin.cx (8.9.3/8.9.3) id XAA33812; Sat, 1 Jul 2000 23:47:05 -0700 (PDT) (envelope-from john) Message-Id: <200007020647.XAA33812@john.baldwin.cx> X-Mailer: XFMail 1.4.0 on FreeBSD X-Priority: 3 (Normal) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit MIME-Version: 1.0 In-Reply-To: <8886.962438103@critter.freebsd.dk> Date: Sat, 01 Jul 2000 23:47:05 -0700 (PDT) From: John Baldwin To: Poul-Henning Kamp Subject: Re: invlpg produces strange sig11 on PentiumPro box Cc: hackers@FreeBSD.ORG, KATO Takenori , Mike Smith Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG On 01-Jul-00 Poul-Henning Kamp wrote: > In message <200007010750.AAA02229@mass.osd.bsdi.com>, Mike Smith writes: >>> 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. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > Please Mike, just because you see my name you shouldn't take a contrary > positition until you have actually looked into matters. > > Look at the first paragraph: This is for Pentium Pro cpus running > in motherboards where the BIOS does not contain the needed microcode > updates. *ahem* You might want to read the first paragraph as well. It is for situations where one _can't_ update one's BIOS. I don't see why making it a tweakable kernel compile time know that is off by default would be so incredibly bad. We have precedents already for this type of thing. And yes, in this case, the CPU is not performing as advertised. -- John Baldwin -- http://www.FreeBSD.org/~jhb/ PGP Key: http://www.cslab.vt.edu/~jobaldwi/pgpkey.asc "Power Users Use the Power to Serve!" - http://www.FreeBSD.org/ To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message