Redirecting printf() does not work Posted by HendrikCaron on 2016-02-25 12:46 Great!! This is what I needed. I thought that printf was calling io_putchar directly. Now it works fine 😊. Thank you very much, I am a happy man 😊.