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 accounts@carldong.me "I fight for the users"