hi i'm also interested and in fact looking for an opportunity for my bachelor thesis (coming fall semester). so i'd happily invest something like 8-10hrs/week for 12-14 weeks (sept-dec). though not an expert with neither guix nor risc-v i'd try to make up with enthusiasm and willpower. and probably some of your help ;)
i guess the goal would be to get *guix system* to work on RISC-V platforms, right? is this thread [1] ("Porting Guix to RISCV", from last october) the latest news on developments regarding guix and RISC-V? g [1] https://lists.gnu.org/archive/html/guix-devel/2020-10/msg00498.html