Subject: Re: Pentium Pro 200
To: Tom T. Thai <tomthai@future.net>
From: Frank van der Linden <frank@fwi.uva.nl>
List: port-i386
Date: 11/06/1996 18:41:02 
Quoting Tom T. Thai,

> for the PP200, what cpu type should be set in the kernel?  P5?  Would 
> that be optimal for the PP200?

I586_CPU should do it for you; there is currently no P6-speficic code
in the kernel. Making the kernel recognize a P6 is trivial (that'll be
added soonish).

- Frank