diff options
author | Chih-Min Chao <chihmin.chao@sifive.com> | 2020-03-31 00:41:33 -0700 |
---|---|---|
committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2020-05-19 19:56:51 -0700 |
commit | 877a8069db245018b8c2449cb44e76a48d216c5e (patch) | |
tree | 6fe92bac46144939d219367e4342bb7d11d92b71 /spike_main | |
parent | cf79c7ba82ca0a477354fbabdb18558b124a211d (diff) | |
download | spike-877a8069db245018b8c2449cb44e76a48d216c5e.zip spike-877a8069db245018b8c2449cb44e76a48d216c5e.tar.gz spike-877a8069db245018b8c2449cb44e76a48d216c5e.tar.bz2 |
fdt: option: add --dtb option to specify dtb binary file
Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
Diffstat (limited to 'spike_main')
-rw-r--r-- | spike_main/spike.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index 9056f31..d88f5b8 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -165,6 +165,7 @@ int main(int argc, char** argv) const char* isa = DEFAULT_ISA; const char* priv = DEFAULT_PRIV; const char* varch = DEFAULT_VARCH; + const char* dtb_file = NULL; uint16_t rbb_port = 0; bool use_rbb = false; unsigned dmi_rti = 0; @@ -258,6 +259,7 @@ int main(int argc, char** argv) parser.option(0, "extension", 1, [&](const char* s){extension = find_extension(s);}); parser.option(0, "dump-dts", 0, [&](const char *s){dump_dts = true;}); parser.option(0, "disable-dtb", 0, [&](const char *s){dtb_enabled = false;}); + parser.option(0, "dtb", 1, [&](const char *s){dtb_file = s;}); parser.option(0, "initrd", 1, [&](const char* s){initrd = s;}); parser.option(0, "real-time-clint", 0, [&](const char *s){real_time_clint = true;}); parser.option(0, "extlib", 1, [&](const char *s){ @@ -319,6 +321,7 @@ int main(int argc, char** argv) s.set_remote_bitbang(&(*remote_bitbang)); } s.set_dtb_enabled(dtb_enabled); + s.set_dtb_file(dtb_file); if (dump_dts) { printf("%s", s.get_dts()); |