aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Norton <rmn30@cam.ac.uk>2019-05-20 11:45:51 +0100
committerRobert Norton <rmn30@cam.ac.uk>2019-05-20 11:45:51 +0100
commit4beb3dd093e37d03ff01476c7899785a32ed9616 (patch)
treeca765ef87fff64859eb9dcca0313d025f0248fd5
parent38b73dd4ad25c8d3af4624519e1ba3a916508356 (diff)
downloadsail-riscv-4beb3dd093e37d03ff01476c7899785a32ed9616.zip
sail-riscv-4beb3dd093e37d03ff01476c7899785a32ed9616.tar.gz
sail-riscv-4beb3dd093e37d03ff01476c7899785a32ed9616.tar.bz2
Add descr file for opam.0.1
-rw-r--r--descr1
1 files changed, 1 insertions, 0 deletions
diff --git a/descr b/descr
new file mode 100644
index 0000000..8f657db
--- /dev/null
+++ b/descr
@@ -0,0 +1 @@
+This package installs a RISC-V emulator (32 and 64 bits) built form the Sail model at https://github.com/rems-project/sail-riscv . \ No newline at end of file