aboutsummaryrefslogtreecommitdiff
path: root/spike_main/spike.cc
diff options
context:
space:
mode:
authorAnup Patel <anup.patel@wdc.com>2020-06-22 08:38:44 +0530
committerAnup Patel <anup@brainfault.org>2020-07-09 23:04:23 +0530
commit2cb19ac699b51d38fba57f4acb1ce02f06e7548f (patch)
tree5fef42799cb4cc024905ca5d0d08f79bfb3b4117 /spike_main/spike.cc
parent564ed97f618321b8499a3e8837c36f622ee8a893 (diff)
downloadspike-2cb19ac699b51d38fba57f4acb1ce02f06e7548f.zip
spike-2cb19ac699b51d38fba57f4acb1ce02f06e7548f.tar.gz
spike-2cb19ac699b51d38fba57f4acb1ce02f06e7548f.tar.bz2
Add bootargs command-line option to Spike
We add bootargs command-line option to Spike which allows us to provide custom kernel parameters to Linux and Xvisor. Signed-off-by: Anup Patel <anup.patel@wdc.com>
Diffstat (limited to 'spike_main/spike.cc')
-rw-r--r--spike_main/spike.cc5
1 files changed, 4 insertions, 1 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc
index d4e572c..1f5b771 100644
--- a/spike_main/spike.cc
+++ b/spike_main/spike.cc
@@ -51,6 +51,7 @@ static void help(int exit_code = 1)
fprintf(stderr, " --dump-dts Print device tree string and exit\n");
fprintf(stderr, " --disable-dtb Don't write the device tree blob into memory\n");
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, " --dm-progsize=<words> Progsize for the debug module [default 2]\n");
fprintf(stderr, " --dm-sba=<bits> Debug bus master supports up to "
@@ -191,6 +192,7 @@ int main(int argc, char** argv)
size_t nprocs = 1;
size_t initrd_size;
reg_t initrd_start = 0, initrd_end = 0;
+ const char* bootargs = NULL;
reg_t start_pc = reg_t(-1);
std::vector<std::pair<reg_t, mem_t*>> mems;
std::vector<std::pair<reg_t, abstract_device_t*>> plugin_devices;
@@ -301,6 +303,7 @@ int main(int argc, char** argv)
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, "bootargs", 1, [&](const char* s){bootargs = s;});
parser.option(0, "real-time-clint", 0, [&](const char *s){real_time_clint = true;});
parser.option(0, "extlib", 1, [&](const char *s){
void *lib = dlopen(s, RTLD_NOW | RTLD_GLOBAL);
@@ -351,7 +354,7 @@ int main(int argc, char** argv)
}
sim_t s(isa, priv, varch, nprocs, halted, real_time_clint,
- initrd_start, initrd_end, start_pc, mems, plugin_devices, htif_args,
+ initrd_start, initrd_end, bootargs, start_pc, mems, plugin_devices, htif_args,
std::move(hartids), dm_config, log_path, dtb_enabled, dtb_file);
std::unique_ptr<remote_bitbang_t> remote_bitbang((remote_bitbang_t *) NULL);
std::unique_ptr<jtag_dtm_t> jtag_dtm(