Made a #MNTReform kernel for #Guix ... and used my MNT Reform2 rk3588 to build the kernel and successfully booted to #Debian !
With 32GB of ram, 8 moderately fast arm64 cores and an NVMe disk, it seems quite viable to run Guix.
Probably still missing some functionality, but the screen, mouse, keyboard, ethernet all work, at least!
Thanks @josch for organizing those patches so nicely for the reform-debian- packages repository!