...
There are multiple RISC-V ports of xv6, including one for the Allwinner D1: https://github.com/michaelengel/xv6-d1
Zephyr
Zephyr has supported RISC-V since v1.7.0.
It currently supports both RV32 and RV64 and a plethora of different SoCs and boards.