Hi,
I have added 64-bit ARM support for PolyML, using the interpreted mode. It seems to be enough to natively compile and run the test suite completely.
Tested on Linux voidarm64 3.16.0-37-generic #51-Ubuntu SMP Tue May 5 13:51:19 UTC 2015 aarch64 aarch64 aarch64 GNU/Linux