[nitrogen]

ARM systems are so diverse that, unless you define a specific operating system, ABI plus floating point calling convention, and CPU type (see http://blog.alexrp.com/2014/02/18/android-hard-float-support... for a tangentially related example I found in a quick search), a binary either doesn't do you any good, or doesn't take advantage of the SIMD CPU features of your platform.

[rjsw]

There is currently only working support for VFP hardware floating point in SBCL so the build options are reduced a bit. I think the only choice to make for a binary release would be whether to build against Debian, Ubuntu or something else.