Sourcery G++ does not support FPU - try the linaro toolchain, it has necessary floating-point libraries. https://launchpad.net/gcc-arm-embedded It's updated 4 times a year and you don't have to fill a stupid form to download it... 4\/3!!