Re: processor family setting for Pentium D

2007-07-22 Thread Robert Hancock
Tilman Schmidt wrote: Probably a stupid question, but I spent some time searching the net for an answer without success: What is the correct setting of the "Processor family" configuration option for a 32 bit kernel which is going to run on an Intel Pentium D 940 processor (cpu family 15, model

processor family setting for Pentium D

2007-07-22 Thread Tilman Schmidt
Probably a stupid question, but I spent some time searching the net for an answer without success: What is the correct setting of the "Processor family" configuration option for a 32 bit kernel which is going to run on an Intel Pentium D 940 processor (cpu family 15, model 6)? It doesn't seem to

processor family setting for Pentium D

2007-07-22 Thread Tilman Schmidt
Probably a stupid question, but I spent some time searching the net for an answer without success: What is the correct setting of the Processor family configuration option for a 32 bit kernel which is going to run on an Intel Pentium D 940 processor (cpu family 15, model 6)? It doesn't seem to

Re: processor family setting for Pentium D

2007-07-22 Thread Robert Hancock
Tilman Schmidt wrote: Probably a stupid question, but I spent some time searching the net for an answer without success: What is the correct setting of the Processor family configuration option for a 32 bit kernel which is going to run on an Intel Pentium D 940 processor (cpu family 15, model