diff options
author | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2020-08-01 20:48:52 +0100 |
---|---|---|
committer | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2020-08-01 20:48:52 +0100 |
commit | 847657a8ab234c0bf7dd60b55acff0fb766c7cda (patch) | |
tree | 55d7a494b94139ac54fff85d7a3935f0dbff927e /README.md | |
parent | 5acb417e257df37e9fb4779808240e2ba762ff90 (diff) | |
download | sail-riscv-847657a8ab234c0bf7dd60b55acff0fb766c7cda.zip sail-riscv-847657a8ab234c0bf7dd60b55acff0fb766c7cda.tar.gz sail-riscv-847657a8ab234c0bf7dd60b55acff0fb766c7cda.tar.bz2 |
update README
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -22,7 +22,7 @@ and [privileged](https://github.com/rems-project/riscv-isa-manual/blob/sail/rele 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 +This is one of [several formal models](https://github.com/riscv/ISA_Formal_Spec_Public_Review/blob/master/comparison_table.md) that were compared within the [RISC-V ISA Formal Spec Public Review](https://github.com/riscv/ISA_Formal_Spec_Public_Review). @@ -278,7 +278,7 @@ Getting started Install [Sail](https://github.com/rems-project/sail/), either via opam or by building Sail from source and setting `SAIL_DIR` in your -environment pointing to its top-level directory. +environment pointing to its top-level directory. Then: ``` $ make @@ -348,6 +348,9 @@ and `-enable-dirty-update` for OCaml). ### Booting OS images +For booting operating system images, see the information under the +[os-boot/](os-boot/) subdirectory. + Authors ------- |