Milk-V Pioneer has been the go to build machine for RISC-V (which was used here) which is much faster than a Raspberry Pi 3 for obvious reasons. Felix Yan uses

Milk-V Pioneer has been the go to build machine for RISC-V (which was used here) which is much faster than a Raspberry Pi 3 for obvious reasons. Felix Yan uses the same machine for building Archlinux on RISC-V.