Guix on Pinebook Pro

Man I have been trying to get guix to boot on my pinebook for years and the closest I ever got was successfully building a stripped down version of the installation image natively using qemu-binfmt

It was able to boot and even install to the emmc and boot again but when I tried to guix system reconfigure it bit the dust.

Now it “hangs” but a serial console reveals somehow the co-processors are misconfigured and the scheduler is scheduling tasks but they are timing out. Some hunting on the forums showed me somehow I need to disable the smaller cores and just boot u-boot with the main 4 and let linux handle initialization but I haven’t progressed on this front for a few weeks.

Here is my os definition for what it’s worth.

(define pinebook-os
  (operating-system
    (inherit pinebook-pro-barebones-os)
    (host-name "voyager")
    (timezone "UTC")
    (locale "en_US.utf8")

    (bootloader (bootloader-configuration
		 (bootloader u-boot-pinebook-pro-rk3399-bootloader)
		 (targets '("/dev/mmcblk2"))))

    (kernel linux-libre-lts)

    (kernel-arguments (list "iommu=soft"))

    (packages (cons* cryptsetup
		     emacs
		     emacs-exwm
		     st
		     %base-packages))

    (file-systems (cons*
		   (file-system
		    (device (file-system-label "ROOT"))
		    (mount-point "/")
		    (type "btrfs"))
		   (file-system
		     (mount-point "/boot")
		     (device (uuid "E6FF-F73A" 'fat32))
		     (type "vfat"))
		   %base-file-systems))

    (users (cons* (user-account
		   (name "m”)
		   (comment "M")
		   (group "users")
		   (home-directory "/home/m")
		   (supplementary-groups
		    '("wheel"
		      "dialout"
		      "disk"
		      "netdev"
		      "audio"
		      "tty"
		      "kvm"
		      "netdev"
		      "video")))
		  %base-user-accounts))

    (services
     (append (list (service dhcp-client-service-type)
		   (service wpa-supplicant-service-type)
		   (service openssh-service-type
			    (openssh-configuration
			     (openssh openssh-sans-x)
			     (permit-root-login #f)
			     (password-authentication? #f)
			     (authorized-keys
			      `(("m" ,(local-file "/home/m/.ssh/id_ed25519.pub")))))))
	     %pinebook-base-services))
    (name-service-switch %mdns-host-lookup-nss)))

I only see downloads on the Guix website for x86_64 and i686. Where did you find the download for the Pinebook Pro ? I'd love to get it running on mine.