diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-21 22:21:37 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-21 22:21:37 -0800 |
commit | 9ba479dc3ab939cba2429a05fbb41f603ab81547 (patch) | |
tree | 0fbe14fbc6f42d0eea5102b6360092291ae3aa3b /README.md | |
parent | b7cb028b31856f5bb25cd71b9789a7d7a69fe5c0 (diff) | |
download | sail-riscv-9ba479dc3ab939cba2429a05fbb41f603ab81547.zip sail-riscv-9ba479dc3ab939cba2429a05fbb41f603ab81547.tar.gz sail-riscv-9ba479dc3ab939cba2429a05fbb41f603ab81547.tar.bz2 |
Update readme.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -7,7 +7,7 @@ in the [Sail repository](https://github.com/rems-project/sail). It currently implements enough of RV64IMAC to boot a conventional OS with a terminal output device. Work on a 32-bit model is ongoing. -The model specifies assembly language formats of the instructions, +The model specifies assembly language formats of the instructions, the corresponding encoders and decoders, and the instruction semantics. Directory Structure @@ -33,6 +33,8 @@ sail-riscv +---- c_emulator // supporting platform files for C emulator +---- ocaml_emulator // supporting platform files for OCaml emulator | ++---- doc // documentation, including a reading-guide +| +---- test // test files | +---- riscv-tests // snapshot of tests from the riscv/riscv-tests github repo |