[soylentcola]

From what I remember, there are ports to RaspPi but a major issue is getting graphic acceleration working. Not sure what the current state of it is.

[isbn]

There definitely are Android ports for RaspPi and other ARM boards, but I don't think there are RemixOS ports for these, which I would like.