diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ReadingGuide.md | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/doc/ReadingGuide.md b/doc/ReadingGuide.md index 152267f..a371388 100644 --- a/doc/ReadingGuide.md +++ b/doc/ReadingGuide.md @@ -128,7 +128,9 @@ Sail model. The OCaml emulator follows the same approach. <img src="figs/riscvcsimdeps.svg"> The nodes that are not colored are the handwritten C files for the C -emulator. +emulator. The black arrows indicate dependency relationships, while +the red arrow indicates a file generated by the Sail compiler from +Sail source files. `riscv_sim` is the top level file for the C emulator: it processes command line options, initializes the platform model with any ISA @@ -138,9 +140,10 @@ boot loader and DeviceTree binary blobs, and initializes the memory map. The generated C model `riscv_model_$ARCH` is built from the Sail -sources by the Sail compiler. It contains calls to the platform -interface `riscv_platform` for platform-specific information; the -latter is typically defined as externally specified in the Sail file +sources by the Sail compiler for the specified architecture $ARCH, +either RV32 or RV64. It contains calls to the platform interface +`riscv_platform` for platform-specific information; the latter is +typically defined as externally specified in the Sail file `riscv_platform.sail`. The Sail system provides a C library for use with its C backend, which |