diff options
| author | Prashanth Mundkur | 2018-06-11 16:06:11 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-11 16:06:11 -0700 |
| commit | be54131898dcf13b9f10da55bd3175d84ff99ae4 (patch) | |
| tree | 457e470366d7a7f42ea131be80aefe267cfdb1d9 /riscv/platform.ml | |
| parent | 665e32897a4564fd27e0048af3ade274e9001052 (diff) | |
Put the riscv model's output on stderr, leaving stdout for the platform terminal.
Diffstat (limited to 'riscv/platform.ml')
| -rw-r--r-- | riscv/platform.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/riscv/platform.ml b/riscv/platform.ml index 8d93ad4a..81d2c90a 100644 --- a/riscv/platform.ml +++ b/riscv/platform.ml @@ -93,8 +93,8 @@ let term_read () = let init elf_file = Elf.load_elf elf_file; - Printf.printf "\nRegistered htif_tohost at 0x%Lx.\n" (Big_int.to_int64 (Elf.elf_tohost ())); - Printf.printf "Registered clint at 0x%Lx (size 0x%Lx).\n%!" P.clint_base P.clint_size; + Printf.eprintf "\nRegistered htif_tohost at 0x%Lx.\n" (Big_int.to_int64 (Elf.elf_tohost ())); + Printf.eprintf "Registered clint at 0x%Lx (size 0x%Lx).\n%!" P.clint_base P.clint_size; let start_pc = Elf.Big_int.to_int64 (Elf.elf_entry ()) in let rom = make_rom start_pc in |