diff options
| author | Prashanth Mundkur | 2018-06-04 16:01:16 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-04 16:14:50 -0700 |
| commit | 32d850c32ab09012e99b273ed2bccd72ca871051 (patch) | |
| tree | 9613d18cb89b4fb82a517ee13a8a4fc054b15a11 /riscv/platform_main.ml | |
| parent | 39018332282418b96e2da101b2beb513e19bfd86 (diff) | |
Add the htif exit command, a top-level function to initialize the riscv platform, and document the artificial wreg effect due to using registers for device state.
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 ()) ) |