An ostensibly complete #Guix System #MNTReform rk3588 configuration:
https://codeberg.org/vagrantc/mnt-reform-guix-config/src/branch/main/config-mnt-reform.scm
caveats:
It could use workarounds from https://source.mnt.re/reform/reform-tools in particular to get ethernet working more reliably.
It does build a full working u-boot image, but does not actually install it directly, that requires a manual step:
sudo dd if=u-boot-rockchip.bin of=/dev/sdX seek=64
I took a leap of faith and installed it directly to eMMC and was lucky enough to not regret it. :)
