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

To verify the install, execute the following command.

$ arm-none-eabi-gcc --version

This should print gcc's version number.