ARM GCC build environment

This build environment is set up for command line use. Given that the development dependencies are installed on your system you can use the available scripts to build the firmware with ARM GCC.