Good news everyone!
I posed the question of an arm linux port of DarkXL, primarily for the pandora, and here's what he had to say:
I am planning on a Linux port and will be releasing the source code. So when that happens it should be possible to port to any platform at that point (at least any platform with appropriate performance capabilities of course).