I am looking to start a risc-v operating system development project with a few friends, but we've not been able to find a good SBC to use as the development target. we'd want a reasonably cheap board with a 64-bit risc-v cpu, a UART that is easily accessible and does not have hardware bugs, and hardware documentation available for peripherals on it
(rebugs are appreciated)
