> I ported the HelenOS kernel to RV64 in 2016, but I've never properly finished the user space support. I hope this board will be a good motivation for me to finally push the entire OS to the same level as x86-64

https://twitter.com/mdecky/status/1397892220225736711

Look into VisionFive2 and Star64.

These aren't just faster than all SiFive's devboards to date, but also cheaper, under $100 mark.

Shipping in the long thousands, instead of short hundreds.

VisionFive2 is only in pre-order stage, right?