Hi David,

David Lecompte <[email protected]> writes:

> Hi Rutherther,
>
>> You seem to have the installation media on a USB, is that right?
> Right.
>
>> 
>> Here is the PR <https://codeberg.org/guix/guix/pulls/5876> and here
>> <https://files.ditigal.xyz/tmp/guix-system-install.rockpro64.iso> is the
>> link to download pre-built iso from. Please do report back if it gets
>> you further, we could merge that then. And maybe decide on whether we
>> could have a more official place for images that are post-release, but
>> with support of more devices.
>
> Thanks for the new image.
> It ends up in the same way, with some extra messages:

Okay, I went through it once more. I noticed a module missing for both
USB 2 and USB 3. Still not certain that I've got all of the required
modules, though.

Here is the new image could you also try this one? (if this one does not
work I definitely have to come up with a better way than just sending
you images and getting you to try them)
<https://files.ditigal.xyz/tmp/guix-system-install.rockpro64.2.iso>

e5fd5cf77452fe1ae2ee9eba640662cd5d235f830c0c17a4403d22d865c83136 
guix-system-install.rockpro64.2.iso

Apart from that here is an image with linux-libre-arm64-generic, it's
true that that one should support more devices. But on the other hand,
it doesn't include isofs support at all. Because of that, to avoid
changing kernel configurations now (that's a discussion we should
definitely have prior to the next release, but it was just too late for
this one), I chose to use the linux-libre and tried to add all the
necessary initrd modules. This image is much bigger than the iso because
it has no compression.
<https://files.ditigal.xyz/tmp/guix-system-install.rockpro64.2.img>

810530b37482f664f9300932b1383d9a586478dd8590087ab8caed04a9a40756 
guix-system-install.rockpro64.2.img

>> Other than that you can also try flashing the image on an sd card
>> instead of a USB.
>
> The image is nearly 1GB but my largest SD card is 256 MB. I have a PCI SATA
> card and probably a few SATA SSD or HDD available. Is there a better chance
> it works if I copy the installer on a SATA SSD or HDD?

I am pretty sure SATA won't work at the moment. That is probably
connected through PCIe and there is no PCIe modules right now. I am not
sure if it makes sense to add these to the initrd, I will think about
it.

The SD card would be the best bet, especially since Julien Lepiller also
shared they needed sdhci and sdhci-pltfm, both of those were already
present. (and the phy drivers for usb were also already present)

Rutherther

>
> David.

Reply via email to