diff options
| author | Thomas Bauereiss | 2018-05-22 11:00:36 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-22 11:00:43 +0100 |
| commit | ec4652a740eb998766f8ee60b2fbaafc3d5dd4e4 (patch) | |
| tree | 96621001b56281a04324f539259aeda494796c6b /riscv/riscv_platform.sail | |
| parent | aa0f2943103e4186e3a56c35bb460ddc12df1034 (diff) | |
Fix Lem build for RISC-V
Diffstat (limited to 'riscv/riscv_platform.sail')
| -rw-r--r-- | riscv/riscv_platform.sail | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/riscv/riscv_platform.sail b/riscv/riscv_platform.sail index 75cf9b03..009090f1 100644 --- a/riscv/riscv_platform.sail +++ b/riscv/riscv_platform.sail @@ -7,16 +7,16 @@ */ /* Main memory */ -val plat_ram_base = {ocaml: "Platform.dram_base"} : unit -> xlenbits -val plat_ram_size = {ocaml: "Platform.dram_size"} : unit -> xlenbits +val plat_ram_base = {ocaml: "Platform.dram_base", lem: "plat_ram_base"} : unit -> xlenbits +val plat_ram_size = {ocaml: "Platform.dram_size", lem: "plat_ram_size"} : unit -> xlenbits /* ROM holding reset vector and device-tree DTB */ -val plat_rom_base = {ocaml: "Platform.rom_base"} : unit -> xlenbits -val plat_rom_size = {ocaml: "Platform.rom_size"} : unit -> xlenbits +val plat_rom_base = {ocaml: "Platform.rom_base", lem: "plat_rom_base"} : unit -> xlenbits +val plat_rom_size = {ocaml: "Platform.rom_size", lem: "plat_rom_size"} : unit -> xlenbits /* Location of clock-interface, which should match with the spec in the DTB */ -val plat_clint_base = {ocaml: "Platform.clint_base"} : unit -> xlenbits -val plat_clint_size = {ocaml: "Platform.clint_size"} : unit -> xlenbits +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) function phys_mem_segments() = |