I am quite new to JTAG debugging with openOCD and GDB. I managed to program and debug an STM32F4 Microcontroller, did some