On 02/17/2014 10:14 PM, Christian Göbeler wrote:
> Am 17.02.2014 18:52, schrieb Gilles Chanteperdrix:
>> On 02/17/2014 06:47 PM, Christian Göbeler wrote:
>>> also disabled SMI by using the workaround described in the wiki
>>> (xeno_hal.smi=1)
>>
>> Most importantly, after you have booted doing that run
>>
>> dmesg | grep -i smi
>>
>> to See if the SMI workaround actually worked.
>>
>>
>
> dmesg shows the following smi messages:
>
> [ 0.000000] Command line:
> BOOT_IMAGE=/boot/vmlinuz-3.8.13-xenomai-2.6.3
> root=UUID=c01a5565-8f04-4959-a6a0-1bc4e920a017 ro text xeno_hal.smi=1
> pci=nomsi nomodeset
> [ 0.000000] Kernel command line:
> BOOT_IMAGE=/boot/vmlinuz-3.8.13-xenomai-2.6.3
> root=UUID=c01a5565-8f04-4959-a6a0-1bc4e920a017 ro text xeno_hal.smi=1
> pci=nomsi nomodeset
> [ 0.000908] CPU0: Thermal monitoring handled by SMI
> [ 0.149371] CPU1: Thermal monitoring handled by SMI
> [ 0.170683] CPU2: Thermal monitoring handled by SMI
> [ 0.191977] CPU3: Thermal monitoring handled by SMI
> [ 0.213274] CPU4: Thermal monitoring handled by SMI
> [ 0.234576] CPU5: Thermal monitoring handled by SMI
> [ 0.255876] CPU6: Thermal monitoring handled by SMI
> [ 0.277184] CPU7: Thermal monitoring handled by SMI
> [ 0.814047] Xenomai: SMI-enabled chipset found
> [ 0.814093] Xenomai: SMI workaround enabled
>
> I'm not sure how to read that. The workaround is enabled but not working?
The workaround is enabled, and should be working. However, did you try
to configure the BIOS to set the fan speed to full speed instead of
using SMI?
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
