-----------------------------
We assume that the RISCV environment variable is set to the RISC-V tools
-install path, and that the riscv-gcc package is installed.
+install path, and that the riscv-gnu-toolchain package is installed.
$ git clone https://github.com/ucb-bar/riscv-tests
$ cd riscv-tests