ARM GCC toolchain is available as a package in BSP CD-ROM for Debian GNU/Linux and Ubuntu. The package name is gcc-arm. Insert the BSP CD-ROM and install the ARM GCC toolchain, using the following command.

# apt-get install gcc-arm

In case of Debain 7 and Ubuntu 12.10 64-bit OS, install using the following commands:

# dpkg --add-architecture i386
# apt-get update
# apt-get install gcc-arm:i386

To verify the install, execute the following command.

$ arm-none-eabi-gcc --version

This should print gcc's version number.