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.