On 07/15/2013 03:00 PM, Younes CHALABI wrote:
Hi Gilles,
I have tried to disable the CONFIG_IPIPE and CONFIG_XENOMAI manually
on the .config, where CONFIG_cpu_IDLE was already disabled, then
recompile but still have the same issue as previously.
It is generally not a good idea to edit the .config manually. Automatic
dependencies may re-enable the options you want disabled.
Anyway, if indeed the kernel without CONFIG_IPIPE and CONFIG_XENOMAI
does not boot, your problem has probably nothing to do with Xenomai.
Again, I would recommend using mx6q_defconfig and checking that this
default configuration at least boots.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
