diff options
| author | Alasdair Armstrong | 2018-05-22 14:29:49 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-22 14:29:49 +0100 |
| commit | 0096e16fae43a673cb1c9d7ad581874a4020c73f (patch) | |
| tree | acb11eda4b4b88a34d4b0f6098bbe90e9fa1b995 /riscv | |
| parent | ec4652a740eb998766f8ee60b2fbaafc3d5dd4e4 (diff) | |
Fix for E_cons not being compiled correctly into OCaml
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/riscv_platform.sail | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/riscv/riscv_platform.sail b/riscv/riscv_platform.sail index 009090f1..1c5da1df 100644 --- a/riscv/riscv_platform.sail +++ b/riscv/riscv_platform.sail @@ -18,12 +18,11 @@ val plat_rom_size = {ocaml: "Platform.rom_size", lem: "plat_rom_size"} : unit -> val plat_clint_base = {ocaml: "Platform.clint_base", lem: "plat_clint_base"} : unit -> xlenbits val plat_clint_size = {ocaml: "Platform.clint_size", lem: "plat_clint_size"} : unit -> xlenbits -val phys_mem_segments : unit -> (xlenbits, xlenbits) +val phys_mem_segments : unit -> list((xlenbits, xlenbits)) function phys_mem_segments() = -// FIXME -// (plat_rom_base (), plat_rom_size ()) :: - (plat_ram_base (), plat_ram_size ()) -// :: [||] + (plat_rom_base (), plat_rom_size ()) :: + (plat_ram_base (), plat_ram_size ()) :: + [||] val plat_insns_per_tick = {ocaml: "Platform.insns_per_tick"} : unit -> int |