From 3f626070c3fcba7871f6364630b05fa62d36c5c8 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 21 Jun 2018 17:20:04 +0100
Subject: Remove loading kernel from mips main

---
 mips/main.sail | 1 -
 1 file changed, 1 deletion(-)

diff --git a/mips/main.sail b/mips/main.sail
index 6f7d377e..f0360870 100644
--- a/mips/main.sail
+++ b/mips/main.sail
@@ -67,7 +67,6 @@ val "load_raw" : (bits(64), string) -> unit
 val main : unit -> unit effect {barr, eamem, escape, rmem, rreg, undef, wmv, wreg, rmemt, wmvt}
 
 function main () = {
-  load_raw(0x0000000000100000, "/home/aa2019/mips_freebsd/kernel");
   init_registers(to_bits(64, elf_entry()));
   startTime = get_time_ns();
   while (fetch_and_execute()) do ();
-- 
cgit v1.2.3