Ben Hutchings wrote: > Note that the driver is acpi-cpufreq - this means it is dependent on the > BIOS. Please check whether there is a BIOS update available for this > system.
awdflash.exe updated my BIOS, said: "Flashing Complete, Press <F1> to Continue", but then my computer didn't do much any more except spin the fans and hard drive. Fortunately I happened to have another main board lying around and with this the CPU frequency is reported normally: hardware limits: 1.20 GHz - 2.00 GHz available frequency steps: 2.00 GHz, 1.60 GHz, 1.20 GHz available cpufreq governors: conservative, userspace, powersave, ondemand, performance current policy: frequency should be within 1.20 GHz and 2.00 GHz. The governor "ondemand" may decide which speed to use within this range. current CPU frequency is 2.00 GHz. The benchmarks are very similar to the other ones so the CPU frequency was fine but only reported wrongly. When I manage to repair the BIOS I'll post results with the new BIOS. Anyone out there who would program my SST 49LF040B BIOS chip (PLCC32, 4Mbit LPC, 3V) for free (except postage)? Bernhard -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4bc6d969.7010...@bksys.at