There is a 32bit RISC-V dev board called HiFive1, but this Debian port is for RV64 and RV128, so you may have to work in simula for awhile still...