Remember GnatDroid, the FreeBSD/DragonFly Ada cross-compiler targetting Android on the ARMv7 processor? It's alive and well, and it is based on GNAT FSF 4.9.

Now there's a second cross-compiler known as GnatDroid-x86. It's similar except it targets Android on x86 (32-bit) which can be installed in a virtual machine such as Virtual Box. Running ACATS tests on GnatDroid-x86 shows that it even handles stack checks due to a functioning unwind support that the ARMv7 version lacks.

See Freshports GnatDroid-x86 for more details.