Cool work. Hope we see more decent powered hobbyist stuff soon.

> so that riscv64 (riscv64gc) could be added to Arch Linux itself as an alternative architecture.

Seems unlikely since they only support one architecture. There's bound to be way more 32 bit x86 out there than riscv for the foreseeable future, and they purposely dropped support for that long ago.