I have compiled and run ipipe-126.96.36.199-powerpc-2.7-02 and Xenomai
v188.8.131.52 (well, actually c4c3c82791951df998ac4dc463f79a76884577b6), on
two similar Freescale boards, the MPC8572DS and the P2020DS. Both are
dual core, and both run fine using vanilla Linux 2.6.30 with SMP.
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).
Without SMP, it seems to run fine (and latency numbers are excellent!)
I seem to recall having seen that Xenomai SMP was working on some
other Freescale powerpc chips. Looking for any advice...
Xenomai-core mailing list