I use this code for retarget printf(), but it does not work
printf()
#ifdef __GNUC__ /* With GCC/RAISONANCE, small printf (option LD Linker->Libraries->
just make sure to add the following in the init code:
// Turn off buffers, so I/O occurs immediately setvbuf(stdin, NULL, _IONBF, 0); setvbuf(stdout, NULL, _IONBF, 0); setvbuf(stderr, NULL, _IONBF, 0);