On 06/28/2013 11:24 AM, Thierry Bultel wrote:
I understand that the thermal management is disabled with xenomai,
because CPU_FREQ is forbidden.
If you are using the Freescale kernel, CPU_FREQ should actually be
enabled. But it is true that the frequency should not be changed after
Xenomai is started, as Xenomai does not support it. However, if I
remember correctly, there was a kernel parameter allowing to select a
frequency at boot time.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
