Hello,
The Guix website now offers Pinebook Pro Guix System images[1]. Those images can be directly copied on a micro-SD card and booted from. More details here[2]. Thanks, Mathieu [1]: https://guix.gnu.org/en/download/latest/ [2]: https://othacehe.org/distributing-guix-system-pinebook-pro-images.html.
