diff options
| author | Robert Norton | 2016-06-01 16:27:35 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-06-01 16:27:35 +0100 |
| commit | 3c552d403515d5dc2e44d1e1f16be0d1cc4b1c5e (patch) | |
| tree | f17fca797a2eeb055507a7e457a5b12307c87f57 /mips/README | |
| parent | ea94959f0c71c3d7e5215d63e72f13598dfe765f (diff) | |
Tweak wording of mips README.
Diffstat (limited to 'mips/README')
| -rw-r--r-- | mips/README | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/mips/README b/mips/README index feaebfde..8a641e69 100644 --- a/mips/README +++ b/mips/README @@ -1,6 +1,7 @@ -This directory contains a MIPS64-style processor written in Sail. To -support integration with the CHERI ISA it is split across several -files, which must be given to sail in the following order: +This directory contains a MIPS64-style architecture specification +written in Sail. To support integration with the CHERI ISA it is +split across several files, which must be given to sail in the +following order: 1. mips_prelude.sail contains definitions used in the rest of the ISA, including register declarations and helper functions, for |