@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.