I'm waiting for you to get MirageOS on my Nexus 9 (64 bit AArch64 tablet) :-)

avsm · on Dec 11, 2014

Now that's interesting -- I've ordered one :-) Can't resist trying out the new AArch64 native code backend in OCaml 4.02!

Jerome Vouillon's Android repository looks like it does most of the hardwork to get a userspace version running at a minimum... https://github.com/vouillon/opam-android-repository