diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-11-30 09:52:37 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-11-30 09:52:37 -0800 |
| commit | 578882545a7578c1a109f7a6bc7129544ce09f55 (patch) | |
| tree | dc03c373618518928c93442de96d1b2c76df9967 /README.md | |
| parent | ef7312708a7af5ffbf43dbee37f614ddf2da58c1 (diff) | |
| download | sail-riscv-578882545a7578c1a109f7a6bc7129544ce09f55.zip sail-riscv-578882545a7578c1a109f7a6bc7129544ce09f55.tar.gz sail-riscv-578882545a7578c1a109f7a6bc7129544ce09f55.tar.bz2 | |
Minor readme edit.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -40,9 +40,8 @@ Booting Linux with the OCaml backend: The OCaml model only needs the ELF-version of the BBL, since it can generate its own DTB. - +``` $ ./platform bbl > execution-trace.log 2> console.log - - Some -information on additional configuration options is available from +``` +Some information on additional configuration options is available from ```./platform -h```. |