There's a RV64 port of Debian and the RV2 and R2S are on the list of compatible hardware. No guarantee it'll be easy getting it loaded, it was like pulling teeth to get it on the SiFive U74 board, but that was 7 years ago, so it's GOT to be better by now.