Hi all,
I've been connected with folks at SiFive who say they are happy to provide riscv64 boards for Guix devs depending on availability. I believe riscv64 will be an important architecture to support for all free software. The boards are quite costly right now (~$1000), so it's a good opportunity to get some.
Those who want some riscv64 boards should contact Palmer Dabbelt @ SiFive.
Cheers,
Carl Dong
"I fight for the users"