Thanks for your suggestions. I pushed the packages. Is there a git repo somewhere I can pull your uboot stuff from? I'd like to test it =)
I'm interested in starting a riscv port of guixsd at some point. I've identified some blocking issues I think need to be addressed first to make it feasible: 1. getting guix system vm running on arm/mips (requires uboot working) 2. offloading builds to a vm (since riscv won't have (commercially) available soc's till next year) 3. updating the default gcc to a recent version (preferably gcc 6) So I'm willing to invest some quality time with these issues...
