BareMetal Error: "Cannot debug: Device has no GDB server provider configuration."
I'm trying to set up my system for dubugging a STM32F4 dev board with the BareMetal plugin. I use Qt Creator 3.5.1 together with the ARM Embedded Toolchain 4.9-2015-q3 and OpenOCD 0.8.0 under Windows 10.
I set up everything according to the instructions given under http://doc.qt.io/qtcreator/creator-developing-baremetal.html with the OpenOCD GDB Server Provider. But everytime I want to start Debugging, I get the error message "Cannot debug: Device has no GDB server provider configuration.".
I cannot find the reason for this error, because the OpenOCD GDB Server Provider is definitely configured and there is no further Information about this error message.
Does anyone have an idea?