http://c25o7knygjm3m67jy27yuynvv4pkfi25naucscmh4ubq2ggiig3v57ad.onion/en/guix-on-an-arm-board.html
In order to get
a proper bootloader for the Cubietruck, we define a new bootloader based on the
Allwinner bootloader definition: (define u-boot-cubietruck-bootloader
(bootloader
(inherit u-boot-allwinner-bootloader)
(package u-boot-cubietruck))) Now that we have our definitions, we can choose where to install the bootloader. In the
case of the Cubietruck, I decided to install it on the SD card, because it cannot boot from
the SSD directly.