tree 3030bbb1c116c864e4e157de97e0422ef2fe9cdc
parent 18de34cd1f87e24259353f0fda07899ca813604a
author David Chisnall <github@theravensnest.org> 1719391486 +0100
committer David Chisnall <davidchisnall@users.noreply.github.com> 1719402227 +0100

Don't expose printf if we don't have a stdout.

The Arty A7 bootloader uses some of the RTOS headers but does not define
the UART in the normal way (and can't because it runs before the loader)
and so this is broken.