Subject: Re: Pentiums
To: None <mycroft@gnu.ai.mit.edu, sommerfeld@orchard.medford.ma.us>
From: None <mycroft@gnu.ai.mit.edu>
List: port-i386
Date: 11/30/1994 22:49:22 
   It occurred to me that one way to deal with the FDIV bug *if the FPU
   emulator was configured into the kernel* would be to disable the FPU,
   [...]

I considered that already, and decided it was the user's problem to
decide whether or not it was important.