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.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
