Hello Jesse,
> -> Which board did you get working with guix system (banana pi m2u, novena, > beaglebone black, pine64-plus, etc.)? > -> Did you build natively or cross-build from a different system? > -> What version of guix did you use? (what did guix describe say?) > -> If the board you got working can boot from an internal (emmc) or external > (microsd) drive, which one did you get working? > -> Would you mind sharing the operating-system definition that was successful? The situation is slowly improving. Since recently, you should be able to build a barebones image for pine64 lts this way: --8<---------------cut here---------------start------------->8--- guix system disk-image -t pine64-raw os.scm --8<---------------cut here---------------end--------------->8--- with os.scm that looks like: --8<---------------cut here---------------start------------->8--- (use-modules (gnu system images pine64)) pine64-barebones-os --8<---------------cut here---------------end--------------->8--- Note that this very image is also build by the CI and available here: https://ci.guix.gnu.org/search/latest/image?query=spec:guix-master+status:success+system:x86_64-linux+pine64 You should be able to flash this image on a microsd and directly boot from it. I will try to improve the documentation accordingly, but until then you can also read this: https://othacehe.org/the-guix-system-image-api.html. Thanks, Mathieu