diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-06-04 16:01:16 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-06-04 16:14:50 -0700 |
| commit | dbf7bfb08380b174fb28e0c80c723fa84d56fe35 (patch) | |
| tree | 98b1817b214adb2d8f4a3843b16d7ba8c01c5085 /platform_main.ml | |
| parent | db7634247a056905283f6d7b80a9262864bd173b (diff) | |
| download | sail-riscv-dbf7bfb08380b174fb28e0c80c723fa84d56fe35.zip sail-riscv-dbf7bfb08380b174fb28e0c80c723fa84d56fe35.tar.gz sail-riscv-dbf7bfb08380b174fb28e0c80c723fa84d56fe35.tar.bz2 | |
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 'platform_main.ml')
| -rw-r--r-- | platform_main.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/platform_main.ml b/platform_main.ml index b4a468f..cb379cd 100644 --- a/platform_main.ml +++ b/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 ()) ) |