From 2c5bbd6f7fbfdf32bafab50e36a1bebcd7cd8dab Mon Sep 17 00:00:00 2001 From: Robert Norton Date: Thu, 17 May 2018 17:26:16 +0100 Subject: changes to for testing FreeBSD boot on MIPS: allowing loading raw file in ocaml main so that we can have simboot + kernel. Support UART output only. --- lib/main.ml | 26 ++++++++++++++++++++++++-- 1 file changed, 24 insertions(+), 2 deletions(-) (limited to 'lib') diff --git a/lib/main.ml b/lib/main.ml index 5733425f..1e9943a7 100644 --- a/lib/main.ml +++ b/lib/main.ml @@ -52,8 +52,19 @@ open Elf_loader;; let opt_file_arguments = ref ([] : string list) - -let options = Arg.align [] +let opt_raw_fname = ref "" +let opt_raw_addr = ref Nat_big_num.zero +let options = Arg.align [ + ( "-raw", + Arg.String (fun s -> + let l = String.split_on_char '@' s in + match l with + | [fname;addr] -> begin + opt_raw_fname := fname; + opt_raw_addr := Nat_big_num.of_string addr; + end + | _ -> raise (Arg.Bad (s ^ " not of form @:"))), + " load a raw binary in memory at given address.")] let usage_msg = "Sail OCaml RTS options:" @@ -67,4 +78,15 @@ let () = | f :: _ -> load_elf f | _ -> () end; + if !opt_raw_fname != "" then + begin + let ic = open_in_bin !opt_raw_fname in + try + while true do + let b = input_byte ic in + Sail_lib.wram !opt_raw_addr b; + opt_raw_addr := Nat_big_num.succ !opt_raw_addr; + done + with End_of_file -> (); + end; (* ocaml_backend.ml will append from here *) -- cgit v1.2.3