Printf support for semihosting/ITM debugging for float variables.
Hello Bernard,
Thanks for the help. I have suspected that there’s an error in the linker directive earlier, but I do not have enough knowledge to modify it. 
I got the printfs working for the floats if I used the supplied GCC’s linker scripts and initialization code ones, but I have to set up the tool chain manually. Luckily there is the OpenSTM32, so I can develop the firmware easier.
By the way, could you add the “Enable float for printf” and the “Enable Semihosting” and/or “Enable SWO” checkboxes in the “Project Options”? This allows the programmer to decide whether he/she wants to enable these in the project.
;){kind=link}