Browse Source
Merge pull request #1615 from liuyu81/master
Fix help message to document `--device=<name>,<args>` usage by #1522
pull/1617/head
Jerry Zhao
2 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with
2 additions and
1 deletions
-
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"); |
|
|
|
|
