Как лучше открыть таблицу регистров периферии в gdb (openocd)?

Сейчас ситуация такая: понужнобилось отладить stm32f103c8t6. Пишу в блокноте, заливаю через стлинк. Запустил сервер openocd, подключился в gdb. Отладка работает, это конечно здорово, но состояние регистров ядра мне многое не говорит.
Сейчас ситуация такая: наверное, если начать это понимать, станешь магистром черной магии, но не думаю, что мне хватит духа.
Сейчас ситуация такая: как проверять значения переменных (желательно таблицей) и регистров их буквенными обозначениями. Накопал в интернетах svd-файл, но не накопал как его прикрутить без питоно-плясок. Слышал, что в иаре используются ddf (device description file), но о них вообще в интернете тишина.