For gdbserver, use the same initialization sequence like for flashing
[fw/stlink] / example / stm32f4 / STM32F4xx_StdPeriph_Driver /
drwxr-xr-x   ..
drwxr-xr-x - build
drwxr-xr-x - inc
drwxr-xr-x - src