The script 'build-arm-toolchain.sh' will download and compile a ARM toolchain
in /tmp/build.

Note: Currently a 4.6.x EABI toolchain will not work for NGOS. 
      We are investigating the cause.

      Please use 4.6.x ELF toolchains for now. 
      The 'current' target will build a working arm-elf-4.6.2 toolchain.

Some needed system packages:
	- makeinfo or texinfo
	- bison
