Has anyone successfully built an installation image for a PINE64 ROCK64
ARM SBC?
There's a definition for it in gnu/system/install.scm, but building the
image with
guix system disk-image --system=aarch64-linux \
-e "(@ (gnu system install) rock64-installation-os)"
and writing it to a microSD card fails to boot completely as the root
filesystem can't be mounted:
GC Warning: pthread_getattr_np or pthread_attr_getstack failed for main thread
GC Warning: Couldn't read /proc/stat
Welcome, this is GNU's early boot Guile.
Use '--repl' for an initrd REPL.
loading kernel modules...
waiting for partition '416bf41b-f6b1-2062-6e00-1979416bf41b' to appear...
waiting for partition '416bf41b-f6b1-2062-6e00-1979416bf41b' to appear...
(...)
waiting for partition '416bf41b-f6b1-2062-6e00-1979416bf41b' to appear...
ERROR: In procedure scm-error:
failed to resolve partition "416bf41b-f6b1-2062-6e00-1979416bf41b"
(I've checked and the GUID above does match the root partition.) I
understand this often means a necessary kernel module is missing from
initrd, but rebuilding the image using the definition below (mostly
copied from install.scm) that explicitly includes the Rockchip MMC
driver produces the same non-functioning result.
Do you know the magic incantation necessary to produce a bootable image
for the ROCK64?
Alternatively, how might I proceed in diagnosing the issue here?
(use-modules (gnu system install)
(gnu system linux-initrd)
(gnu bootloader)
(gnu bootloader u-boot)
(gnu packages linux))
(operating-system
(inherit installation-os)
(bootloader (bootloader-configuration
(bootloader u-boot-rock64-rk3328-bootloader)
(target "/dev/mmcblk0")))
(kernel linux-libre)
(kernel-arguments
(cons "console=ttyS2"
(operating-system-user-kernel-arguments installation-os)))
(initrd-modules (append '("dw_mmc" "dw_mmc-rockchip") %base-initrd-modules)))
--
Simon South
si...@simonsouth.net
