[bilbyx]

Yes, I have bought many RISC-V dev boards even though you get more bang for buck using ARM ones. Similarly for AMD GPUs.