http://c25o7knygjm3m67jy27yuynvv4pkfi25naucscmh4ubq2ggiig3v57ad.onion/en/guix-on-an-arm-board.html
(bootloader
(bootloader-configuration
(target " /dev/mmcblk0 " )
(bootloader u-boot-cubietruck-bootloader)))
[...]) The kernel modules In order for Guix to be able to load the system from the initramfs, it will probably need
to load some modules, especially to access the root file system. In my case, the SSD is
on an ahci device, so I need a driver for it.