diff options
| author | Prashanth Mundkur | 2018-06-08 14:52:49 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-08 14:52:49 -0700 |
| commit | 4d0eee64305705239b40c7b3328d45180a60f964 (patch) | |
| tree | d83aecee542d4fab101cc62c8e94862b18beeccd /riscv/platform.ml | |
| parent | e9c0f8403a8c4b55aeed2173740f11714edf4c8b (diff) | |
Make the simulation loop use the platform interface to detect exits via htif.
Diffstat (limited to 'riscv/platform.ml')
| -rw-r--r-- | riscv/platform.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/riscv/platform.ml b/riscv/platform.ml index 15b28abb..8d93ad4a 100644 --- a/riscv/platform.ml +++ b/riscv/platform.ml @@ -92,6 +92,10 @@ let term_read () = (* returns starting value for PC, i.e. start of reset vector *) let init elf_file = Elf.load_elf elf_file; + + Printf.printf "\nRegistered htif_tohost at 0x%Lx.\n" (Big_int.to_int64 (Elf.elf_tohost ())); + Printf.printf "Registered clint at 0x%Lx (size 0x%Lx).\n%!" P.clint_base P.clint_size; + let start_pc = Elf.Big_int.to_int64 (Elf.elf_entry ()) in let rom = make_rom start_pc in let rom_base = Big_int.of_int64 P.rom_base in |