+
+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)
+
+* $ cd riscv-tests
+* $ cd isa
+* $ make
+* $ make run
+
+To override the fact that spike loads libspike\_main.so and other dynamic
+libraries from /usr/local/lib (or other location in the path):
+
+ $ export LD_LIBRARY_PATH=`pwd`
+ $ ./spike pk ./a.out
+