1 files changed, 0 insertions, 26 deletions
diff --git a/riscv/main.sail b/riscv/main.sail
deleted file mode 100644
index dbf41f49..00000000
--- a/riscv/main.sail
+++ /dev/null
@@ -1,26 +0,0 @@
-val elf_tohost = {
-  ocaml: "Elf_loader.elf_tohost",
-  c: "elf_tohost"
-} :  unit -> int
-
-val elf_entry = {
-  ocaml: "Elf_loader.elf_entry",
-  c: "elf_entry"
-} : unit -> int
-
-val main : unit -> unit effect {barr, eamem, escape, exmem, rmem, rreg, wmv, wreg}
-
-function main () = {
-
-  // PC = __GetSlice_int(64, elf_entry(), 0);
-  PC = zero_extend(0x1000, 64);
-  print_bits("PC = ", PC);
-  try {
-    init_platform();
-    init_sys();
-    loop()
-  } catch {
-    Error_not_implemented(s) => print_string("Error: Not implemented: ", s),
-    Error_internal_error() => print("Error: internal error")
-  }
-}