Linux SDK 64-bit support?

[Anonymous]

Is there a version of the Linux SDK with 64-bit support? The arm tools supplied with the SDK seem to be 32-bit only:

   

$ file ~/cypress/arm-2013.11/bin/arm-none-eabi-gcc
/home/petter/cypress/arm-2013.11/bin/arm-none-eabi-gcc: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 2.6.16, stripped

   

A Yocto meta-fx3 could have been nice...

[Anonymous]

. If the Linux installation on the host computer is a 64-bit OS version, 32-bit system libraries need to be installed for the GNU ARM toolchain to work. Please see  https://sourcery.mentor.com/GNUToolchain/kbentry62 for more details

[Anonymous]

Thanks. I do have the 32-bit libraries installed on my own computer. However, I wanted to build on a 64-bit machine where I don't have root access. Then it would have been easier to use the 64-bit binaries, if available.

[Anonymous]

We provide only  32-bit system libraries with the SDK, we don't provide 64 bit one