Debugging with printf, openocd and semihosting on Workbench for STM32 Posted by tarek bouchkati on 2016-02-20 13:48 When using -specs=rdimon ... make sure to not use -specs=nosys.specs