[faragon]

Sure. I would love to buy that RISC-V board. But 1000 USD is way too much. Anyway, it is not a bad start, e.g. exotic ARM dev boards are very expensive, too.