diff options
Diffstat (limited to 'spike_main/spike.cc')
| -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 533811f..7290f38 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -68,7 +68,8 @@ static void help(int exit_code = 1) 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"); - fprintf(stderr, " --bootargs=<args> Provide custom bootargs for kernel [default: console=hvc0 earlycon=sbi]\n"); + fprintf(stderr, " --bootargs=<args> Provide custom bootargs for kernel [default: %s]\n", + DEFAULT_KERNEL_BOOTARGS); fprintf(stderr, " --real-time-clint Increment clint time at real-time rate\n"); fprintf(stderr, " --triggers=<n> Number of supported triggers [default 4]\n"); fprintf(stderr, " --dm-progsize=<words> Progsize for the debug module [default 2]\n"); |