Hey Thad,
As far as I can tell, the default arm-none-eabi cross toolchain doesn't support software floating point, so that's what's producing this error. I don't know what distribution you're using, but in the Ubuntu package repository, the arm-linux-gnueabihf cross
toolchain does support software floating point:
$ sudo apt-get install gcc-arm-linux-gnueabihf
$ arm-linux-gnueabihf-gcc -print-multi-lib
.;
sf;@mfloat-abi=soft
$
Could you either try this toolchain (if it's available in your distribution's package manager), or else find out which toolchain your distro supplies that supports soft-float and try that?
--
Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO