On 01/13/2013 05:40 AM, John Morris wrote:

> 
> 
> On 01/12/2013 01:03 PM, Gilles Chanteperdrix wrote:
>> On 01/12/2013 06:26 PM, John Morris wrote:>
>>
>>> The kernel is built from the elrepo.org kernel, and this config file
>>> overrides the upstream config; makes it easy to see the Xenomai-specific
>>> changes:
>>> https://github.com/zultron/kernel-ml/blob/branch3.5.3-xeno/config-3.5.3-xenomai-x86_64
>>
>>
>> It seems a really bad idea to enable the SMI workaround by default.
>>
> 
> Thanks!  Despite feeling uncomfortable contradicting the documentation,
> I was encouraged to turn this on by someone more authoritative than me.
>  It does seem like a separate package with it turned on is warranted for
> those who have problems and have been fairly warned about the risk.


I guess we should turn the compile-time option into a kernel parameter.
So, the smi workaround would be disabled by default, and only enabled
when passing a kerne command-line option.

-- 
                                                                Gilles.

_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai

Reply via email to