add Srnmi support to ocaml_emulator

ocaml_emulator/platform.ml

@@ -172,3 +172,14 @@ let init arch elf_file =
   in ( write_rom 0 rom;
        get_slice_int (cur_arch_bitwidth (), rom_base, Big_int.zero)
      )
+
+(* Srnmi - resumable NMI *)
+let rnmi_exc_trap_vector() = arch_bits_of_int !P.config_srnmi_exc_trap_vec
+let rnmi_int_trap_vector() = arch_bits_of_int !P.config_srnmi_int_trap_vec
+let is_rnmi_pending = ref true
+
+let rnmi_pending nmie =
+  let was_rnmi_pending = !is_rnmi_pending in
+  if was_rnmi_pending && nmie
+  then is_rnmi_pending := false;
+  was_rnmi_pending && nmie

ocaml_emulator/platform_impl.ml

@@ -194,6 +194,13 @@ let show_bytes s =
 let dump_dts arch = show_bytes (make_dts arch)
 let dump_dtb arch = show_bytes (bytes_to_string (make_dtb (make_dts arch)))
 
+(* Smrnmi : Resumable NMI *)
+let config_srnmi_exc_trap_vec = ref (Int.(0))
+let config_srnmi_int_trap_vec = ref (Int.(0))
+let set_srnmi_exc_trap_vec v = config_srnmi_exc_trap_vec := v
+let set_srnmi_int_trap_vec v = config_srnmi_int_trap_vec := v
+
+
 (*
 let save_string_to_file s fname =
   let out = open_out fname in

ocaml_emulator/riscv_ocaml_sim.ml

@@ -79,7 +79,13 @@ let options = Arg.align ([("-dump-dts",
                            " requested isa");
                           ("-with-dtc",
                            Arg.String PI.set_dtc,
-                           " full path to dtc to use")
+                           " full path to dtc to use");
+                          ("-srnmi_int_trap_vec",
+                           Arg.Int PI.set_srnmi_int_trap_vec,
+                           " configure RNMI interrupt trap vector");
+                          ("-srnmi_exc_trap_vec",
+                           Arg.Int PI.set_srnmi_exc_trap_vec,
+                           " configure RNMI exception trap vector")
                          ])
 
 let usage_msg = "RISC-V platform options:"