Hi,

Has anyone managed to get Pistachio+Genode with SMP+ia32 running?  We have managed to get Pistachio+Genode+ia32 without SMP working fine.  As soon as we compile SMP it goes into an endless loop.

Any ideas?

Thanks
Daniel Waddington