diff options
author | Jerry Zhao <jerryz123@berkeley.edu> | 2024-02-29 07:56:39 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-29 07:56:39 -0800 |
commit | 8d239ff376d3614af554630aa5e7ae6c5d7f010e (patch) | |
tree | c67d0eafae7ce6417292c5692c762797123aee71 | |
parent | a22119e562c4185275a10eb11ca4ba568d09a570 (diff) | |
parent | 4587ace51440bb9020bd38703b62f812f6bdc68b (diff) | |
download | spike-8d239ff376d3614af554630aa5e7ae6c5d7f010e.zip spike-8d239ff376d3614af554630aa5e7ae6c5d7f010e.tar.gz spike-8d239ff376d3614af554630aa5e7ae6c5d7f010e.tar.bz2 |
Merge pull request #1615 from liuyu81/master
Fix help message to document `--device=<name>,<args>` usage by #1522
-rw-r--r-- | spike_main/spike.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index b5a1ce4..09a1fe8 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -53,7 +53,8 @@ static void help(int exit_code = 1) fprintf(stderr, " --l2=<S>:<W>:<B> B both powers of 2).\n"); fprintf(stderr, " --big-endian Use a big-endian memory system.\n"); fprintf(stderr, " --misaligned Support misaligned memory accesses\n"); - fprintf(stderr, " --device=<name> Attach MMIO plugin device from an --extlib library\n"); + fprintf(stderr, " --device=<name> Attach MMIO plugin device from an --extlib library,\n"); + fprintf(stderr, " specify --device=<name>,<args> to pass down extra args.\n"); fprintf(stderr, " --log-cache-miss Generate a log of cache miss\n"); fprintf(stderr, " --log-commits Generate a log of commits info\n"); fprintf(stderr, " --extension=<name> Specify RoCC Extension\n"); |