On Wed, 2009-11-04 at 06:56 +0100, Richard Cochran wrote:
> 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.
The issue is more likely in the interrupt pipeline. When Xenomai is
compiled as modules, does the system lock up when loading the nucleus,
or do things go wrong when the first skin is loaded on top of this?
Xenomai-core mailing list