Hoje recebi a placa de desenvolvimento STM32Discovery e comecei a pesquisar pelo suporte a ela no Linux.
Rapidamente encontrei um programa chamado stlink-download criado pelo projeto ARMUtilities.
$ sudo stlink-download /dev/stlink reset $ sudo stlink-download /dev/stlink flash:w:helloworld.bin $ sudo stlink-download /dev/stlink run $ sudo stlink-download /dev/stlink status