1 files changed, 10 insertions, 0 deletions
diff --git a/riscv/riscv_platform_impl.c b/riscv/riscv_platform_impl.c
index 3135895d..d8d52da0 100644
--- a/riscv/riscv_platform_impl.c
+++ b/riscv/riscv_platform_impl.c
@@ -1,4 +1,6 @@
 #include "riscv_platform_impl.h"
+#include <unistd.h>
+#include <stdio.h>
 
 /* Settings of the platform implementation, with common defaults. */
 
@@ -16,3 +18,11 @@ uint64_t rv_clint_size = UINT64_C(0xc0000);
 
 uint64_t rv_htif_tohost = UINT64_C(0x80001000);
 uint64_t rv_insns_per_tick = UINT64_C(100);
+
+int term_fd = 1; // set during startup
+void plat_term_write_impl(char c)
+{
+  if (write(term_fd, &c, sizeof(c)) < 0) {
+    fprintf(stderr, "Unable to write to terminal!\n");
+  }
+}