Those are my notes about using the Embedded Pi board with an open source toolchain. Some apply to STM32 in general. The Embedded Pi board has a STM32 microcontroller with Arduino-compatible headers.
<rant> It was obviously designed by people who don’t know the open source toolchain for that chip …