diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-26 14:44:56 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-26 14:44:56 -0800 |
| commit | 930ce615f4b7052b4b33f070f315152aa798bf7d (patch) | |
| tree | 1dc2bf70ff32520587ff57defe2536a1da90ca21 | |
| parent | 034451276b6f62dcb35d56eb31828a238cccc789 (diff) | |
| download | sail-riscv-930ce615f4b7052b4b33f070f315152aa798bf7d.zip sail-riscv-930ce615f4b7052b4b33f070f315152aa798bf7d.tar.gz sail-riscv-930ce615f4b7052b4b33f070f315152aa798bf7d.tar.bz2 | |
Reduce default ram to 64MB in ocaml emulator.
| -rw-r--r-- | ocaml_emulator/platform_impl.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocaml_emulator/platform_impl.ml b/ocaml_emulator/platform_impl.ml index f7fe853..39de437 100644 --- a/ocaml_emulator/platform_impl.ml +++ b/ocaml_emulator/platform_impl.ml @@ -55,7 +55,7 @@ let clint_base = 0x02000000L;; (* Spike::CLINT_BASE *) let clint_size = 0x000c0000L;; (* Spike::CLINT_SIZE *) let rom_base = 0x00001000L;; (* Spike::DEFAULT_RSTVEC *) -let dram_size_ref = ref (Int64.(shift_left 2048L 20)) +let dram_size_ref = ref (Int64.(shift_left 64L 20)) type mem_region = { addr : Int64.t; |