Eddig debugolnom nem kellett, illetve pontosítok: elég volt egy UART-ra a kérdéses dolgokat kidumpolni. De az alapot kipróbáltam, akkor működni látszott. :)
Debugnál a felépítés ilyen "szerver-kliens" megoldás, maga az arm-gdb ebből a kliens, az adja az UI-t. Ez csatlakozik a gdb-server-hez, ami ez esetben lehet az előbb emlegetett openocd. Viszont mindenféle paraméter nélkül az arm-none-eabi-gdb-t elindítva a gdb parancsértelmezőjének kellene előjönnie, ahol a gdb szerverhez való kapcsolódáshoz ki tudod adni a megfelelő parancsot. (pl: target remote localhost:3333) Nyilván ehhez előbb el kell indítani a "szerver"-t, ami itt a megfelelően felparaméterezett openocd. (Itt írtam erről pár mondatot, az ne zavarjon, hogy nem STM, a logika ugyanaz.)
És a vicc: a linkelt oldalon is emlegetett, arm-tól letöltött gcc csomag szintén tartalmazza a gdb-t, de az most nem akar elindulni, valami Python-os problémára panaszkodik. :) A próbát akkor a disztribúcióban elérhető csomaggal csináltam, annak nem volt semmi nyűgje. Viszont ezekből lehet, hogy muszáj lesz frissebbet felrakni mint ami Debianon az alap tárolókban van, jó kérdés, mennyire régiek, az openocd elég sokat fejlődött az elmúlt pár évben, akár STM támogatás oldaláról is.