Hi Denis,

On Tue Dec 2, 2025 at 2:12 PM CET, Denis 'GNUtoo' Carikli wrote:
> On Wed, 26 Nov 2025 23:43:16 +0200
> Roman Riabenko via <[email protected]> wrote:
>> There are some images for small SBCs in gnu/system/images. I assume
>> that there is more interest in development for 64 bit ARM, so it is a
>> safer bet to choose it.
> I also think so.

But, unfortunately, there’s not much choice there. 😞


> Here's what I learned trying to add support for a computer
> (rock-4c-plus) and/or by using the ARM port:

Rock 4C+ seems to be a nice and cheap SBC. Good to know.
But I already have 2 Olinuxino-Lime-2 and would like to make use of them.


> - You really need to do the installation with an image.

Seems to be the best approach. This way, you don’t have to have 2 generations
(minimum) on disk and… you don’t even have to have the Guix sources checkout,
or do you?


> consider contributing an image for the computer you want in Guix.

Way out of my confort zone, sorry! 😅


> - It is possible to use regular linux-libre / linux-libre-lts instead
>   but you need to find the list of modules to load at boot. I'm in the
>   process of doing that for the 64bit ARM computers I have but it will
>   take some time. I also hope that the patches will be accepted.

🤞


> - Also note that not every build system supports cross compilation, so
>   depending on your needs you might need to first build an image that
>   boots and then use 'guix system reconfigure'.

That goes against my minimal 1-generation-no-source image. 😞


> What is next in my TODO list is to move my server from the rockpro64to
> the rock-4c-plus, add an image for the rockpro64 in Guix, and continue
> working on patches to find all the modules required to boot for all the
> cases (eMMC, MicroSD, USB key on USB2.0, on USB 3.0, etc).

Thanks for working on all of that! 👍

--
Tanguy

Reply via email to