tree b260754fa6471caa695fe9e6ac47a454fc5ccb43
parent a331c6d774123fd3fdb916e58539920727dd2cbd
author Alex Bennée <alex.bennee@linaro.org> 1557844214 +0100
committer Alex Bennée <alex.bennee@linaro.org> 1559035730 +0100

semihosting: enable chardev backed output for console

It will be useful for a number of use-cases to be able to re-direct
output to a file like we do with serial output. This does the wiring
to allow us to treat then semihosting console like just another
character output device.

Signed-off-by: Alex Bennée <alex.bennee@linaro.org>