frequency scaling on D525MW not working properly

[Sepherosa Ziehau]

On Fri, Aug 3, 2012 at 2:00 AM, Sven Gaerner <sgaerner at gmx.net> wrote:
> On Tue, Jul 31, 2012 at 09:27:15AM +0800, Sepherosa Ziehau wrote:
>> On Tue, Jul 31, 2012 at 5:01 AM, Sven Gaerner <sgaerner at gmx.net> wrote:
>> [...]
>>
>> Hmm, maybe i8254 is not working at all.  Could you post following information:
>> - bootverbose dmesg w/ hw.i8254.intr_disable="0" in /boot/loader.conf
>> - sysctl kern.cputimer
>> - sysctl hw.acpi
>
> Attached the requested details.

Grrr, only C1 is detected.  If the CPU does support C3, there could be
some settings in BIOS?

Best Regards,
sephe

-- 
Tomorrow Will Never Die