diff options
| author | Prashanth Mundkur | 2018-07-10 16:27:03 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-07-10 17:02:37 -0700 |
| commit | a480edc06d0a803c7ec133fe462005155d163bf7 (patch) | |
| tree | b11fbd7ad7fe4ae8035aadf37ff00031ec584fa0 /riscv/platform_main.ml | |
| parent | 585c1b81c8e6efd3d7a84f317e1f3e18b84cbe89 (diff) | |
Add an option to specify the dtc to use for the riscv platform.
Diffstat (limited to 'riscv/platform_main.ml')
| -rw-r--r-- | riscv/platform_main.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/riscv/platform_main.ml b/riscv/platform_main.ml index 4c33e24d..e204daee 100644 --- a/riscv/platform_main.ml +++ b/riscv/platform_main.ml @@ -72,7 +72,10 @@ let options = Arg.align ([("-dump-dts", " enable dirty-bit update during page-table walks"); ("-enable-misaligned-access", Arg.Set P.config_enable_misaligned_access, - " enable misaligned accesses without M-mode traps") + " enable misaligned accesses without M-mode traps"); + ("-with-dtc", + Arg.String PI.set_dtc, + " full path to dtc to use") ]) let usage_msg = "RISC-V platform options:" |