Ward Vandewege wrote:
300 of those machines - with quad core CPUs. They show up as dual core until he goes into the BIOS and changes the setting. That's also the 'official' solution for the problem from the Dell rep.
Ask him to come to IRC. If really lucky it will be faster to create a program for it. But my guess is that it will be quicker to walk around and change the setting.
//Peter