From 6e6530bf75dde40a10bedf93db44d76c7423cf3b Mon Sep 17 00:00:00 2001 From: Prashanth Mundkur Date: Tue, 15 Jan 2019 11:42:49 -0800 Subject: Make the names of the OCaml and C simulators more similar, with C being the default one. --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 14c937c..6089a28 100644 --- a/README.md +++ b/README.md @@ -77,7 +77,7 @@ your environment pointing to its top-level directory. ``` $ make ``` -will build the OCaml simulator in `ocaml/platform`, the C simulator in +will build the OCaml simulator in `ocaml/riscv_ocaml_sim`, the C simulator in `c/riscv_sim`, the Isabelle model in `generated_models/isabelle/Riscv.thy`, and the Coq model in `generated_models/coq/riscv.v`. @@ -87,11 +87,11 @@ Executing test binaries The C and OCaml simulators can be used to execute small test RV64 binaries. ``` -$ ./ocaml/platform +$ ./ocaml/riscv_ocaml_sim $ ./c/riscv_sim ``` Some information on additional configuration options for each simulator is available -from `./ocaml/platform -h` and `./c/riscv_sim -h`. +from `./ocaml/riscv_ocaml_sim -h` and `./c/riscv_sim -h`. Booting Linux with the C backend -------------------------------- @@ -114,7 +114,7 @@ Booting Linux with the OCaml backend The OCaml model only needs the ELF-version of the BBL, since it can generate its own DTB. ``` -$ ./ocaml/platform bbl > execution-trace.log 2> console.log +$ ./ocaml/riscv_ocaml_sim bbl > execution-trace.log 2> console.log ``` Generating input files for Linux boot -- cgit v1.1