From 1e7b116842ea0e0ad76a70e2736398ef2211dde9 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Tue, 23 Oct 2018 15:17:22 -0700
Subject: RISC-V: use stderr for terminal output in OCaml backend.

Also add a brief README for booting Linux on the C and OCaml backends.
---
 riscv/platform_impl.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'riscv/platform_impl.ml')

diff --git a/riscv/platform_impl.ml b/riscv/platform_impl.ml
index e593dce9..c5cc3fff 100644
--- a/riscv/platform_impl.ml
+++ b/riscv/platform_impl.ml
@@ -159,7 +159,7 @@ let make_dtb dts = (* Call the dtc compiler, assumed to be at /usr/bin/dtc *)
 (* Terminal I/O *)
 
 let term_write char =
-  ignore (Unix.write_substring Unix.stdout (String.make 1 char) 0 1)
+  ignore (Unix.write_substring Unix.stderr (String.make 1 char) 0 1)
 
 let rec term_read () =
   let buf = Bytes.make 1 '\000' in
-- 
cgit v1.2.3