GuixSD on Olimex A20 OLinuXino?

GuixSD on Olimex A20 OLinuXino?

[Ludovic Courtès]

Hello Danny!

dannym@scratchpost.org (Danny Milosavljevic) skribis:

> commit c55c6985948b12a39cd5805bde95db9a80def3ba
> Author: Danny Milosavljevic <dannym@scratchpost.org>
> Date:   Mon Jan 22 22:35:06 2018 +0100
>
>     system: Add A20 OLinuXino LIME installer.
>     
>     * gnu/bootloader/u-boot.scm (u-boot-a20-olinuxino-lime-bootloader):
>     New exported variable.
>     * gnu/packages/bootloaders.scm (u-boot-a20-olinuxino-lime):
>     New exported variable.
>     * gnu/system/install.scm (a20-olinuxino-lime-installation-os):
>     New exported variable.

So, does it actually work?  :-)

I have one of these (maybe not the “LIME”, but does it make a
difference?).  How should I proceed?  Is it enough to dump this on
microSD and boot?

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

Ludo’.

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")))))

Re: GuixSD on Olimex A20 OLinuXino?

[Danny Milosavljevic]

> 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)

Oh yeah, and a bootloader package into gnu/packages/bootloader.scm .

if you don't know the make-u-boot-package parameter, just guess it
wrong - you'll get a list.

Re: GuixSD on Olimex A20 OLinuXino?

[Ludovic Courtès]

Hello,

Danny Milosavljevic <dannym@scratchpost.org> skribis:

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

It’s the MICRO.

> 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)

OK.

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

Awesome.  :-)

I guess I’ll give it a try probably after FOSDEM.  Really crazy that
GuixSD on ARM “just works”!

Ludo’.