diff options
| -rw-r--r-- | mips/main.sail | 1 |
1 files changed, 0 insertions, 1 deletions
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 (); |