Add cli options to riscv simulator to dump platform device-tree info.

1 files changed, 7 insertions, 0 deletions

diff --git a/riscv/platform.ml b/riscv/platform.ml
index 10c79faf..0aac4884 100644
--- a/riscv/platform.ml
+++ b/riscv/platform.ml
@@ -66,6 +66,13 @@ let make_rom start_pc =
   let dtb = P.make_dtb P.dts in
   let rom = reset_vec @ dtb in
   ( rom_size_ref := List.length rom;
+    (*
+    List.iteri (fun i c ->
+                Printf.eprintf "rom[0x%Lx] <- %x\n"
+                               (Int64.add P.rom_base (Int64.of_int i))
+                               c
+               ) rom;
+     *)
     rom )
 
 let rom_base () = bits_of_int64 P.rom_base