diff options
| -rw-r--r-- | riscv/_tags | 4 | ||||
| -rw-r--r-- | riscv/riscv_platform.sail | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/riscv/_tags b/riscv/_tags new file mode 100644 index 00000000..56fa3731 --- /dev/null +++ b/riscv/_tags @@ -0,0 +1,4 @@ +<**/*.ml>: bin_annot, annot +"_sbuild": include +<*.m{l,li}>: package(lem), package(linksem), package(zarith) +<platform_main.native>: package(lem), package(linksem), package(zarith) diff --git a/riscv/riscv_platform.sail b/riscv/riscv_platform.sail index cfb3b535..75cf9b03 100644 --- a/riscv/riscv_platform.sail +++ b/riscv/riscv_platform.sail @@ -21,7 +21,7 @@ val plat_clint_size = {ocaml: "Platform.clint_size"} : unit -> xlenbits val phys_mem_segments : unit -> (xlenbits, xlenbits) function phys_mem_segments() = // FIXME -// (plat_rom_base (), plat_rom_base ()) :: +// (plat_rom_base (), plat_rom_size ()) :: (plat_ram_base (), plat_ram_size ()) // :: [||] |