Цитата
А чем Вам приснопамятный CodeSourcery не угодил?
Буду пробовать.
Цитата(Сергей Борщ @ Dec 14 2012, 13:28)

Работаю с F10х, этот пишется. Пробовал F40x, тоже писался. А как пытаетесь писать, на что жалуется openocd?
Наверное при инициализации не делается halt. Может какой то скрипт надо выполнить? А может конфигурация openocd не та. Запускаю так: openocd-0.6.1.exe -f ..\scripts\interface\stlink-v2.cfg -f ..\scripts\target\stm32f4x_stlink.cfg
Код
Open On-Chip Debugger 0.6.1 (2012-10-07-10:34)
Licensed under GNU GPL v2
For bug reports, read
http://openocd.sourceforge.net/doc/doxygen/bugs.html
adapter speed: 1000 kHz
Info : clock speed 1000 kHz
Info : stm32f4x.cpu: hardware has 6 breakpoints, 4 watchpoints
Info : accepting 'gdb' connection from 3333
Info : device id = 0x10016413
Info : flash size = 1024kbytes
Warn : acknowledgment received, but no packet pending
undefined debug reason 6 - target needs reset
Error: Target not halted
Error: failed erasing sectors 0 to 4
Error: flash_erase returned -304