Hi,
Normally this should be sufficient. As a quick check, please try creating a new “LEDBlink” project, calling printf() from it and referencing the fast semihosting framework. If it does work, please recheck the differences between the test project and your original project.
Another option is to try setting a breakpoint in the WriteRawFastSemihostingData() function and stepping through it to see if s_FastSemihostingState gets modified properly.