From 9c12af3498f4fffc80ef906b343e43a4715dd7e2 Mon Sep 17 00:00:00 2001 From: Prashanth Mundkur Date: Mon, 21 May 2018 20:43:02 -0700 Subject: Add the missed _tags file, and fix a typo. --- riscv/_tags | 4 ++++ riscv/riscv_platform.sail | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 riscv/_tags 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) +: 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 ()) // :: [||] -- cgit v1.2.3