From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 10 Oct 2018 07:19:21 +0000 (+0100)
Subject: change notes on spike-sv
X-Git-Tag: convert-csv-opcode-to-binary~4965
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b49fa44fa86a443180ed9d9bbdce1590c7985b7d;p=libreriscv.git

change notes on spike-sv
---

diff --git a/3d_gpu/spike_sv.mdwn b/3d_gpu/spike_sv.mdwn
index 8dc3ff521..ae092692f 100644
--- a/3d_gpu/spike_sv.mdwn
+++ b/3d_gpu/spike_sv.mdwn
@@ -1,7 +1,16 @@
 # Simple-V Spike emulator
 
+example dev script (riscvdev.sh):
+
+    export RISCV="$HOME/src/riscv"
+    export PATH="$PATH:$RISCV/bin"
+
 Needs riscv-tools, first
 
+* git clone https://github.com/riscv/riscv-tools
+
+once compiled check out sv versions of spike and tests:
+
 * git clone https://git.libre-riscv.org/git/riscv-isa-sim.git
 * cd risc-v-isa-sim
 * git checkout -b sv
@@ -10,6 +19,8 @@ Needs riscv-tools, first
 * cd riscv-tests
 * git checkout -b sv
 
+make install needed on the simulator for the tests to pick it up
+
 To run the sv unit tests (requires $RISCV to be set correctly i think, or
 at least riscv32/64-unknown-elf-gcc to be in the path)
 
@@ -18,8 +29,3 @@ at least riscv32/64-unknown-elf-gcc to be in the path)
 * $ make
 * $ make run
 
-example dev script (riscvdev.sh):
-
-    export RISCV="$HOME/src/riscv"
-    export PATH="$PATH:$RISCV/bin"
-