diff --git a/c_emulator/riscv_sim.c b/c_emulator/riscv_sim.c index b5b7b08d4..3f812c5ec 100644 --- a/c_emulator/riscv_sim.c +++ b/c_emulator/riscv_sim.c @@ -418,6 +418,10 @@ static int process_args(int argc, char **argv) case 'l': insn_limit = atoi(optarg); break; + case OPT_ENABLE_SVINVAL: + fprintf(stderr, "enabling svinval extension.\n"); + rv_enable_svinval = true; + break; case OPT_ENABLE_ZCB: fprintf(stderr, "enabling Zcb extension.\n"); rv_enable_zcb = true;