On Wed, Nov 04, 2009 at 12:26:45PM +0100, Philippe Gerum wrote:
> 
> Ok, this is a porting issue. The critical IPI (IPIPE_CRITICAL_IPI) does
> not seem to be properly handled on this platform.
> 
> > I'll try and pull this apart some more...

I was able to get SMP to boot, by accident.

Using the BDI3000 telnet console, I halted the second core, and booted
the SMP kernel on the first core. Then, I started the second core,
which seems to work just fine!

Weird. Wish me luck,

Richard

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to