I am also very interested in a Leap SDK for Linux on ARM. Please keep us informed about any progress in this direction!
Like in this post, we are thinking about Cortex-A9 dual or quad core CPU or similar. Forget about the Raspberry, we need to stay realistic.
May be the port from Android to other Linux distributions could be done by the community?