Small change to the directory name in which the RISC-V port is stored.
3 files changed