Ok, as far as I understand, only this toolchain will work:
https://launchpad.net/gcc-arm-embedded

because we need libnosys.a library, which comes from Newlib, which is part of "GCC ARM Embedded" toolchain. Is it correct?