Работает и arm-none-eabi-gdb из основной репы арча. Надо только корректно настроить openocd. Простой пример: у чипа нет flash'а, поэтому команда flash write_image бесполезна, образ в чип, судя по всему заливается через OpenST Linux - значит нужно заставить ide передавать образ куда надо.