changes to for testing FreeBSD boot on MIPS: allowing loading raw file in ocaml main so that we can have simboot + kernel. Support UART output only.

1 files changed, 4 insertions, 0 deletions

diff --git a/mips/main.sail b/mips/main.sail
index 54fb34ee..45ced6d7 100644
--- a/mips/main.sail
+++ b/mips/main.sail
@@ -30,6 +30,10 @@ function fetch_and_execute () = {
        just continue from nextPC, which should have been set to the appropriate
        exception vector (along with clearing branchPending etc.) . */
   };
+  if UART_WRITTEN then {
+    putchar(unsigned(UART_WDATA));
+    UART_WRITTEN = 0b0;
+  }
 }
 
 val elf_entry = {