Welche Betriebssysteme laufen auf RISC-V?

Linux (insbesondere Debian, Fedora, Ubuntu), FreeBSD, Zephyr, RTOS und einige experimentelle Windows-Versionen (unter UEFI) laufen bereits auf RISC-V.