Re: GuixSD on Olimex A20 OLinuXino?

[Danny Milosavljevic]

Hi Ludo,

> I have one of these (maybe not the “LIME”, but does it make a
> difference?).  

Yes, it makes a difference (in U-Boot only).

Which one do you have? There's MICRO, LIME, LIME2 and additional
variants with eMMC and without eMMC.

Most of these should already have entries in
gnu/system/install.scm .  If not, one can easily add one
(add entry to gnu/bootloader/u-boot.scm, inheriting from allwinner-bootloader,
and then add entry to gnu/system/install.scm using it)

> How should I proceed?  Is it enough to dump this on
> microSD and boot?

Yes.

> I would actually write the final system rather than the installation
> system given that ‘guix pull’ currently runs out of memory on that
> device.

You can also boot the image using qemu-system-arm -kernel ... -dtb ... 
in order to directly load the Linux kernel (skipping u-boot).

Then set everything up in there.

Then copy the resulting image to the SD card.

You'd just have to specify the correct bootloader form in the final
system. (u-boot-a20-olinuxino-whatever-bootloader).

Like this does:

  (define (adjust-bootloader os)
      (operating-system (inherit os)
        (bootloader (bootloader-configuration
                     (bootloader u-boot-a20-olinuxino-whatever-bootloader)
                     (target "/dev/mmcblk0")))))