STM32F407G DISC1 board Linux dev environment - olonho/carkot GitHub Wiki
By default development for STM32 is done in Windows OS using one of special IDEs described in user manuals. This is not convenient for MacOS X and Linux users.
First you'll need to get gcc cross-compiler for arm arch. On Ubuntu/Debian you can install it using:
sudo apt-get install gcc-arm-none-eabi
Then you'll need "cross" gdb for debugging of your ARM binaries:
sudo apt-get install gdb-arm-none-eabi
Binary of st-link utility is provided under devlink/data/.
Also one could get st-link tools from https://github.com/texane/stlink and build them. You'll also find howtos in pdf and README files of this repo. You can also compile and use st-link tools on Raspberry Pi.