aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorRobert Norton <rmn30@cam.ac.uk>2018-11-30 12:36:14 +0000
committerGitHub <noreply@github.com>2018-11-30 12:36:14 +0000
commit12ab886899fceb134acc4bc02a979ce90ee7cdd3 (patch)
tree9b7c67a1dab1de935e795226d4abbe05db527a5f /README.md
parent00dc8a578d2af1eafbc96c89f9e01a5e1de95b18 (diff)
downloadsail-riscv-12ab886899fceb134acc4bc02a979ce90ee7cdd3.zip
sail-riscv-12ab886899fceb134acc4bc02a979ce90ee7cdd3.tar.gz
sail-riscv-12ab886899fceb134acc4bc02a979ce90ee7cdd3.tar.bz2
Tweak README.
Diffstat (limited to 'README.md')
-rw-r--r--README.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/README.md b/README.md
index b925821..cb87e0d 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,8 @@
+RISCV Sail Model
+================
+
+This repository contains a model of the RISCV architecture written in [Sail](https://www.cl.cam.ac.uk/~pes20/sail/). It used to be contained in the [Sail repository](https://github.com/rems-project/sail).
+
Booting Linux with the C backend:
---------------------------------