Debugging with printf, openocd and semihosting on Workbench for STM32 Posted by tarek bouchkati on 2016-02-21 22:19 You need to call "initialise_monitor_handles();" in the beginning of your main 😉 just like richardtomkins solution 😊