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)))