why trace_printf("%f",x); triggers a HARD FAULT on a stm32 MCU? Posted by tang on 2017-11-16 14:58 Hi, You might need "-specs=rdimon.specs -lc -lrdimon" on the linker command. Regards, Kevin.