ARM processor support

[kkeker]

Hello!
Does ARM support is understood in the future?

root@odroid-server:~# uname -a
Linux odroid-server 3.10.82 #1 SMP PREEMPT Tue Jul 14 01:28:23 BRT 2015 armv7l armv7l armv7l GNU/Linux
root@odroid-server:~# cat /etc/issue
Ubuntu 14.04.4 LTS \n \l

root@odroid-server:~# git clone https://github.com/MLstate/opalang.git
Cloning into 'opalang'...
remote: Counting objects: 37494, done.
remote: Total 37494 (delta 0), reused 0 (delta 0), pack-reused 37494
Receiving objects: 100% (37494/37494), 41.84 MiB | 2.36 MiB/s, done.
Resolving deltas: 100% (25870/25870), done.
Checking connectivity... done.
root@odroid-server:~# cd opalang/
root@odroid-server:~/opalang# ./configure
Checking your OS... Linux
Checking your architecture... armv7l
Sorry, this architecture is unsupported at the moment.

[hbbio]

ARM is in todo-list for quite some time... But in the meantime, ARM marketshare increased steadily, so it will be time to investigate. Any volunteer?