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

Question

[Hiralka]

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