tree 67782206011459999dfd3cfeb3b425e27644331a
parent 1577eec0fca6fd67bdc0727d10de4bdc3f8afa95
author Richard Henderson <richard.henderson@linaro.org> 1651452920 -0700
committer Richard Henderson <richard.henderson@linaro.org> 1656371396 +0530

semihosting: Use console_out_gf for SYS_WRITEC

Reviewed-by: Luc Michel <lmichel@kalray.eu>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>