Files (right-click the link):

for a copy of the txt instructions: rv.txt

Test File(s): F0GUKF40.bak, rv64, tim.c

rv.txt:

Here's rv64:

bbbg0 0 64 28300000 28300001 1 7000 41 40 yourmachine

which I ran as csh; sh rv64 &

Your "Finished" file F0GUKF40.001 should resemble F0GUKF40.bak

If you'd like to check timings, you might try "gcc -O2 -o tim tim.c", and then run

cat F* | grep DONE | tim