If I install Xilinx ISE_DS that includes EDK and SDK on a 64-bit Windows and Linux, the installer does not install the Sourcery CodeBench tools in the 32-bit folder.
Linux:
<install_path_to_ISE_DS>/EDK/gnu/arm/lin
<install_path_to_SDK>/SDK/gnu/arm/lin
Windows:
<install_path_to_ISE_DS>\EDK\gnu\arm\nt
<install_path_to_SDK>\SDK\gnu\arm\nt
It does correctly install to the 64-bit folder:
Linux:
<install_path_to_ISE_DS>/EDK/gnu/arm/lin64
<install_path_to_SDK>/SDK/gnu/arm/lin64
Windows:
<install_path_to_ISE_DS>\EDK\gnu\arm\nt64<install_path_to_SDK>\SDK\gnu\arm\nt64