summaryrefslogtreecommitdiff
path: root/riscv/platform_main.ml
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/platform_main.ml')
-rw-r--r--riscv/platform_main.ml3
1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/platform_main.ml b/riscv/platform_main.ml
index b33247f1..1c9ba209 100644
--- a/riscv/platform_main.ml
+++ b/riscv/platform_main.ml
@@ -76,6 +76,9 @@ let options = Arg.align ([("-dump-dts",
("-mtval-has-illegal-inst-bits",
Arg.Set P.config_mtval_has_illegal_inst_bits,
" mtval stores instruction bits on an illegal instruction exception");
+ ("-ram-size",
+ Arg.Int PI.set_dram_size,
+ " size of physical ram memory to use (in MB)");
("-with-dtc",
Arg.String PI.set_dtc,
" full path to dtc to use")