diff options
author | Andrew Waterman <andrew@sifive.com> | 2022-04-30 16:59:07 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2022-04-30 17:01:16 -0700 |
commit | 1df65613df9970dc7f5c2f3d1bf343dbb0497828 (patch) | |
tree | ade823845d958ac315df417892e25e15dc297515 | |
parent | 1cfffeda1e8323729e584c904b2ce78681ba0283 (diff) | |
download | spike-1df65613df9970dc7f5c2f3d1bf343dbb0497828.zip spike-1df65613df9970dc7f5c2f3d1bf343dbb0497828.tar.gz spike-1df65613df9970dc7f5c2f3d1bf343dbb0497828.tar.bz2 |
Add missing description of --dtb in --help message
-rw-r--r-- | spike_main/spike.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index 5529045..3629e35 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -56,6 +56,7 @@ static void help(int exit_code = 1) fprintf(stderr, " This flag can be used multiple times.\n"); fprintf(stderr, " --rbb-port=<port> Listen on <port> for remote bitbang connection\n"); fprintf(stderr, " --dump-dts Print device tree string and exit\n"); + fprintf(stderr, " --dtb=<path> Use specified device tree blob [default: auto-generate]\n"); fprintf(stderr, " --disable-dtb Don't write the device tree blob into memory\n"); fprintf(stderr, " --kernel=<path> Load kernel flat image into memory\n"); fprintf(stderr, " --initrd=<path> Load kernel initrd into memory\n"); |