On Tue, Nov 03, 2009 at 03:44:24PM +0100, Philippe Gerum wrote: > On Tue, 2009-11-03 at 14:34 +0100, Richard Cochran wrote: > > If I enable ipipe only, I can still boot SMP. If Xenomai is enabled, > > then the machine freezes as soon as Xenomai is started. (As a module, > > Xenomai locks the machine when loading). > > Did you try enabling the pipeline debug options, like > CONFIG_IPIPE_DEBUG_CONTEXT and CONFIG_IPIPE_DEBUG_INTERNAL?
Yes, but it makes no difference, and I see no additional messages from the kernel on the console. BTW, I also disabled CONFIG_XENO_OPT_PERVASIVE, but it still locks up. Richard _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core