Для изучения можно и mbed использовать.
Когда понимание будет - хоть на ассемблере можно писать и отлаживать.
Что регулярно приходится делать после IDA.
После этого HAL/SPL/С/libopenstm3 и прочая лабуда - просто семечки

Благодарю всем за дельные совет! Обязательно учту и рассмотрю все!

Ещё раз посоветую настроить отладчик. Жизнь станет гораздо удобнее.
Инструкция "как скрутить gdb, openocd и эклипс" есть здесь: http://gnuarmeclipse.github.io/debug/openocd/
Бинарники под виндовс там есть готовые.
Я проверял, всё работает (год назад там не работал SWO, так что я вернулся обратно на J-Link, благо отладчик у меня - копия джейлинка. И, блин, из документации непонятно, починили это, или нет).

Задам, наверное глупый вопрос - а прикрутить openocd можно, например, к Dev-C++ ?

Вопрос флеймообразующий, я так printf через разнообразные места отлаживаюсь...
Как там дела у хозяина топика, смог светодиоды как надо мигать заставить?

Дык, вроде, дал понять, что да - получилось - изначально затык был в том, что после инициализации SysTick был установлен флаг вызова обработчика прерывания SysTick_Handler, который у меня нигде не был описан. Поэтому и висел на этом месте. После того как добавил обработчик, все стало ок...

Не знаю. openOCD - это надстройка над gdb. Если к этому Dev-C++ прикручивается gdb (из официального сайта это непонятно), то и под контроллер отладка заработает.



После подъема всяких "железных" вещей - да, логи наше всё.
А в состоянии "ну вообще ничего не работает" погулять по шагам будет очень полезно.