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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
