As tasty as it might sound, it seems to not be a nutritious partnership, at least not yet.
Performance ranges from 60 fps to 40 fps at times, I’m fairly sure I can tweak it to work faster since the PandaBoard has far more processing power than the Raspberry Pi, but I’m just not sure about it’s GLES2 implementation.
I’m using PowerVR SGX OMAP4 with the X11-EGL driver, maybe the extra layer is slowing it down, I’m not sure. I tried running marshmallow as a fullscreen window and as the window manager itself, but performance didn’t improve much.
On the bright side, input hot-plug works like a charm, native builds are fast and it has a considerably shorter boot time compared to the Raspberry Pi.