Setup of development environment

Unfortunately that won’t work for my use case since the GCC on the Ubuntu version I’m forced to work on isn’t compatible. Installing a custom ARM toolchain isn’t complicated, but it took me too long for my taste to figure out what to install.