pentium 75 detection

Testing--testing (wittevee@rulcmc.LeidenUniv.nl)
Sat, 30 Sep 1995 00:30:26 +0100

I just bought a Pentium 75, and, after installing Linux, I was surprised
to read:
cat /proc/cpuinfo
cpu : 586
model : Pentium 90/100
...

It appears that Linux doesn't know the Pentium 75 exist, as I read in
arch/i386/kernel/setup.c, line 149:

static const char *model[2][9]={{"DX","SX","DX/2","4","SX/2","6",
"DX/2-WB","DX/4"},
-----> {"Pentium 60/66","Pentium 90/100","3",
"4","5","6","7","8"}};

So, it will never report a pentium 75 (and the really do exist -- I have one)
I guess the line should be changed to read:
{"Pentium 60/66","Pentium 75/90/100","3",
(anyway, if I do that, it'll report a Pentium 75/90/100, so ItWorksForMe).

(I tried it with 1.2.13, and 1.3.30, no difference).