allora, ho fatto confusione.
ci sono 3 livelli: comunicazione, compilazione e debug
per la comunicazione puoi usare o stlink o openocd. Penso che userò openocd perchè è compatibile con molti altri protocolli e non solo gli stlink-v1 e v2
per la compilazione esistono un saccco di toolchain, oppure puoi fartela da solo. io ho scelto la gcc (arm-elf-gcc-base + arm-elf-newlib) perchè è un pacchetto ufficiale della mia distribuzione.
attenzione, cambiare stdint.h in stdint-gcc.h
per il debug sembrano usare un pò tutto gdb. esiste anche un'interfaccia grafica kdbg