В целом согласен, но: 1) Лучше таки купить jlink или его клон. Openocd отлично работает, но, например, cJTAG не поддерживает. Если внезапно понадобится cJTAG, как мне, то jlink тебя спасет.
2) Сборку компилера лучше брать из репозиториев ОС. В том же арче уже arm-none-eabi-gcc 10 версии вышел
3) IDE любую, к которой цепляется gdb. В Qt Creator недавно завезли поддержку программаторов