You should contact the ARMbasic developers through Coridium Corp.
Tech Support monitors the following groups.
Coridium has done custom ports of ARMbasic to other platforms.