@bedna Yeah, that's exactly what I was asking. I found out how to install armbian on the NVMe, which is simply to run armbian install and it does it automatically for you. I don't see why that would be impossible if one can boot Armbian with Armbian. Is the '/boot' section that much geared to a distro? I thought that was just the linux kernel part. I also get the feeling that I would probably not need Armbian at all, but u-boot installed on the SD card, but that installing Armbian was at least a good start to see if everything was working and what the guix system ARM iso file is an iso9660 filesystem meant for a USB device, meaning that that I would need a pure u-boot installed on the SD card to first boot the USB device run the guix system installer and then have u-boot boot the NVMe device. I say 'pure u-boot' because I sometimes see these u-boot.img files floating around on the web and just assume these might be the thing that I'm looking for. I have no idea really.

From what I've seen, that particular tool is not as well maintained as some others. If it's a major uboot failure, it won't boot. If it's working, I think that's your answer.

It may be possible. But due to limited resources, forum support is limited to using Armbian as-is. Everything else goes in Off Topic. If you're truly interested, you could attempt to take the Armbian bootloader, kernel, and device tree, and drop that into a Guix install. But at that point, you are very much on your own.

@FrancasioHi, could you direct me to the link for that image? Thanks.

Guation. Would you be willing to share the patches (or Git commits) used to build the 1 GB Cubie A5E images? I'd like to incorporate them into the current Armbian build framework instead of using a prebuilt image.