diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-15 11:42:49 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-15 11:42:49 -0800 |
commit | 6e6530bf75dde40a10bedf93db44d76c7423cf3b (patch) | |
tree | 6f5757b7dd89fec7071af8410d1ffba15b3dc057 /README.md | |
parent | 3fdda1f2e054a01c95ff59593a8d67d85770609a (diff) | |
download | sail-riscv-6e6530bf75dde40a10bedf93db44d76c7423cf3b.zip sail-riscv-6e6530bf75dde40a10bedf93db44d76c7423cf3b.tar.gz sail-riscv-6e6530bf75dde40a10bedf93db44d76c7423cf3b.tar.bz2 |
Make the names of the OCaml and C simulators more similar, with C being the default one.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 <elf-file> +$ ./ocaml/riscv_ocaml_sim <elf-file> $ ./c/riscv_sim <elf-file> ``` 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 |