diff options
| author | Jerry Zhao <jerryz123@berkeley.edu> | 2023-01-04 09:54:29 -0800 |
|---|---|---|
| committer | Jerry Zhao <jerryz123@berkeley.edu> | 2023-01-04 11:02:13 -0800 |
| commit | d50a0f00220d15f26eea9f65cd1ad2f097b96414 (patch) | |
| tree | 720cefe3437e1229d7d11364064e7ce05483409e /spike_main | |
| parent | c4e7c887280190b728c0cc5ee25d2984fe8b6058 (diff) | |
| download | spike-d50a0f00220d15f26eea9f65cd1ad2f097b96414.zip spike-d50a0f00220d15f26eea9f65cd1ad2f097b96414.tar.gz spike-d50a0f00220d15f26eea9f65cd1ad2f097b96414.tar.bz2 | |
Add --mmu-dirty runtime flag
Diffstat (limited to 'spike_main')
| -rw-r--r-- | spike_main/spike.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index a9da535..2f66033 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -70,6 +70,7 @@ static void help(int exit_code = 1) fprintf(stderr, " --initrd=<path> Load kernel initrd into memory\n"); fprintf(stderr, " --bootargs=<args> Provide custom bootargs for kernel [default: console=hvc0 earlycon=sbi]\n"); fprintf(stderr, " --real-time-clint Increment clint time at real-time rate\n"); + fprintf(stderr, " --mmu-dirty Enable hardware management of PTE accessed and dirty bits\n"); fprintf(stderr, " --dm-progsize=<words> Progsize for the debug module [default 2]\n"); fprintf(stderr, " --dm-sba=<bits> Debug system bus access supports up to " "<bits> wide accesses [default 0]\n"); @@ -417,6 +418,7 @@ int main(int argc, char** argv) parser.option(0, "initrd", 1, [&](const char* s){initrd = s;}); parser.option(0, "bootargs", 1, [&](const char* s){cfg.bootargs = s;}); parser.option(0, "real-time-clint", 0, [&](const char UNUSED *s){cfg.real_time_clint = true;}); + parser.option(0, "mmu-dirty", 0, [&](const char UNUSED *s){cfg.dirty_enabled = true;}); parser.option(0, "extlib", 1, [&](const char *s){ void *lib = dlopen(s, RTLD_NOW | RTLD_GLOBAL); if (lib == NULL) { |