I dont recall any corridnation with Intel.
On Fri, 14 Nov 1997, Linux-Kernel Mail Account wrote:
> No doubt some of you who have been watching know this or will soon but..
> Intel has a offical web page dedicated to the bug, the new thing is I just
> went to look at it and it has a link to there workaround...
> The first page is at
> http://support.intel.com/support/processors/pentium/ppiie/index.htm and
> the workaround at
> http://support.intel.com/support/processors/pentium/ppiie/descrip.htm#Workaround
> Hope this helps..
>
> Zephaniah E, Hull
>
>