liamoc: > Our best bet is to compile to ARM native code and then use the NDK to > talk to the Java APIs. > Cheers. > ~Liam That's great info -- we do have an unregisterised ARM port of GHC in Debian, iirc. (And the LLVM backend can generate ARM code too)