Re: Building installation image for ROCK64

[Pierre Langlois <pierre.langlois@gmx.com>]

Pierre Langlois writes:

> Hi Simon,
>
> Simon South writes:
>
>> Has anyone successfully built an installation image for a PINE64 ROCK64
>> ARM SBC?
>
> I managed to setup a ROCKPRO64 a few months ago (rk3399 chipset instead
> of rk3328), maybe I can help :-).
>
>>
>> There's a definition for it in gnu/system/install.scm, but building the
>> image with
>>
>>   guix system disk-image --system=aarch64-linux \
>>     -e "(@ (gnu system install) rock64-installation-os)"
>
> You probably noticed this takes a *long* time to run, making it quite
> tedious to test changes (I believe this is being worked on though).
>
> In the meanwhile, what you can do instead is setup the SD card manually,
> say using fdisk & mkfs.ext4, and then use the 'guix system init' command
> to install guix on it:
>
>   $ mount /dev/mmcblk0 /mnt
>   $ guix system init my-config.scm /mnt

Oh, also, when doing this make sure my-config.scm has the correct target
in the bootloader entry, to prevent accidentally writing the bootloader
on the wrong SD card (from personal experience breaking the host system
that lived on that other SD card :-D).