@abcdw that is Alexey Abramov's work running on the polarfire. We still need to blog about that. I think it is the first Guix boot on native RISC-V.