@ -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 (