Some of this content is really old we will have to go through it.
Tested with STM32F4-Discovery evaluation board.
For debugging on Linux use:
https://github.com/texane/stlink