change riscv-isa-run to spike
drwxr-xr-x - benchmarks
drwxr-xr-x - env
drwxr-xr-x - isa