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,


Xenomai-core mailing list

Reply via email to