From 12ab886899fceb134acc4bc02a979ce90ee7cdd3 Mon Sep 17 00:00:00 2001
From: Robert Norton <rmn30@cam.ac.uk>
Date: Fri, 30 Nov 2018 12:36:14 +0000
Subject: Tweak README.

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'README.md')

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:
 ---------------------------------
 
-- 
cgit v1.1