[Levitating]

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.