diff options
| author | Jerry Zhao <jerryz123@berkeley.edu> | 2022-10-14 11:31:21 -0700 |
|---|---|---|
| committer | Andrew Waterman <aswaterman@gmail.com> | 2022-10-14 15:37:39 -0700 |
| commit | 7e8d1e6f29a0e6b9f8b1b65a88b5dc87c25a4f9a (patch) | |
| tree | d57d96dac7923e5443029f2077c315f821e1dd0d /riscv/cfg.h | |
| parent | 26c6795f2f72a369c5c192a5d53643b9558a2691 (diff) | |
| download | spike-7e8d1e6f29a0e6b9f8b1b65a88b5dc87c25a4f9a.zip spike-7e8d1e6f29a0e6b9f8b1b65a88b5dc87c25a4f9a.tar.gz spike-7e8d1e6f29a0e6b9f8b1b65a88b5dc87c25a4f9a.tar.bz2 | |
Support command-line configuration of number of pmpregions
Diffstat (limited to 'riscv/cfg.h')
| -rw-r--r-- | riscv/cfg.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/cfg.h b/riscv/cfg.h index 13dcf3a..dbdb58b 100644 --- a/riscv/cfg.h +++ b/riscv/cfg.h @@ -61,6 +61,7 @@ public: const char *default_bootargs, const char *default_isa, const char *default_priv, const char *default_varch, + const reg_t default_pmpregions, const std::vector<mem_cfg_t> &default_mem_layout, const std::vector<int> default_hartids, bool default_real_time_clint) @@ -69,6 +70,7 @@ public: isa(default_isa), priv(default_priv), varch(default_varch), + pmpregions(default_pmpregions), mem_layout(default_mem_layout), hartids(default_hartids), explicit_hartids(false), @@ -80,6 +82,7 @@ public: cfg_arg_t<const char *> isa; cfg_arg_t<const char *> priv; cfg_arg_t<const char *> varch; + reg_t pmpregions; cfg_arg_t<std::vector<mem_cfg_t>> mem_layout; std::optional<reg_t> start_pc; cfg_arg_t<std::vector<int>> hartids; |