Building installation image for ROCK64

[Simon South]

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
address@hidden