diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-06-06 16:25:15 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-06-06 17:26:36 -0700 |
| commit | af0925e363a7ec40d97a3c26e83deb0223840950 (patch) | |
| tree | 8adb0a59187141c790c17c0ef881a76f7a1d80b5 /doc/ReadingGuide.md | |
| parent | 6019eb69020cb87216ec1889eb82be7443fa1fb3 (diff) | |
| download | sail-riscv-af0925e363a7ec40d97a3c26e83deb0223840950.zip sail-riscv-af0925e363a7ec40d97a3c26e83deb0223840950.tar.gz sail-riscv-af0925e363a7ec40d97a3c26e83deb0223840950.tar.bz2 | |
Doc updates
. add a dependency diagram to the reading guide
. simplify the OS boot instructions using the new Linux image
. put funding ack in top-level readme
Diffstat (limited to 'doc/ReadingGuide.md')
| -rw-r--r-- | doc/ReadingGuide.md | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/ReadingGuide.md b/doc/ReadingGuide.md index deda95e..ac00be2 100644 --- a/doc/ReadingGuide.md +++ b/doc/ReadingGuide.md @@ -5,7 +5,12 @@ The model is written in the Sail language. Although specifications in Sail are quite readable as pseudocode, it would help to have the [Sail manual](https://github.com/rems-project/sail/blob/sail2/manual.pdf) handy. -The model contains the following Sail modules in the `model` directory: +The Sail modules in the `model` directory have the structure shown +below. Arrows indicate a dependency relationship, and _italics_ +indicate fragments that are not strictly part of the specification, +such as the platform memory map. + +<img src="figs/riscvspecdeps.svg"> - `riscv_xlen32.sail` and `riscv_xlen64.sail` define `xlen` for RV32 and RV64. One of them is chosen during the build using the ARCH |