diff options
Diffstat (limited to 'riscv/platform_main.ml')
| -rw-r--r-- | riscv/platform_main.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/riscv/platform_main.ml b/riscv/platform_main.ml index b4a468f9..cb379cdd 100644 --- a/riscv/platform_main.ml +++ b/riscv/platform_main.ml @@ -75,7 +75,8 @@ let () = sail_call (fun r -> - try ( zinit_sys (); + try ( zinit_platform (); (* devices *) + zinit_sys (); (* processor *) zPC := pc; zloop (Elf_loader.elf_tohost ()) ) |