diff options
Diffstat (limited to 'riscv/main.sail')
| -rw-r--r-- | riscv/main.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/riscv/main.sail b/riscv/main.sail index b2a53b11..32f14177 100644 --- a/riscv/main.sail +++ b/riscv/main.sail @@ -14,8 +14,9 @@ function main () = { PC = __GetSlice_int(64, elf_entry(), 0); try { - init_sys (); - loop (elf_tohost()) + init_platform(); + init_sys(); + loop() } catch { Error_not_implemented(s) => print_string("Error: Not implemented: ", s), Error_internal_error() => print("Error: internal error") |