J Martin Rushton via CentOS wrote:
On 31/08/18 16:47, Yves Bellefeuille wrote:
Gary Stainburn gary@ringways.co.uk wrote:
<snip>
"Old Pentium" isn't very precise; the first Pentiums were in 1993!
They were the ones nicknamed "i586.01" see https://en.wikipedia.org/wiki/Pentium_FDIV_bug
Which a lot of us referred to as the rePentium chip.
mark