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 [email protected] https://mail.gna.org/listinfo/xenomai-core
