[mluckham]

I asked the question today, whether Easy/C printf output can be redirected to the 2nd serial port.

I looked at the WPILIB documentation, it is dead simple to output to the second serial port - but there is no printf - so you will have to supply your own.