Merge branch 'master' into gdbgdb

1 files changed, 7 insertions, 0 deletions

diff --git a/README.md b/README.md
index 2836ff6..7bd9f7e 100644
--- a/README.md
+++ b/README.md
@@ -17,6 +17,13 @@ A [reading guide](doc/ReadingGuide.md) to the model is provided in the
 extend](doc/ExtendingGuide.md) the model. 
 
 
+Latex definitions can be generated from the model that are suitable
+for inclusion in reference documentation.  Drafts of the RISC-V
+[unprivileged](https://github.com/rems-project/riscv-isa-manual/blob/sail/release/riscv-spec-sail-draft-alpha2.pdf)
+and [privileged](https://github.com/rems-project/riscv-isa-manual/blob/sail/release/riscv-privileged-sail-draft-alpha2.pdf)
+specifications that include the Sail formal definitions are available
+in the sail branch of this [risc-v-isa-manual repository](https://github.com/rems-project/riscv-isa-manual/tree/sail).
+
 This is one of [several formal models](https://github.com/riscv/ISA_Formal_Spec_Public_Review/blob/master/comparison_table.md) compared within the 
 [RISC-V ISA Formal Spec Public Review](https://github.com/riscv/ISA_Formal_Spec_Public_Review).