Hey David,
as is on the download page, the aarch64 artifacts are sort of experimental. Unfortunately they weren't tested on many devices and for me it's hard to guess the modules for now to generally support more devices. Sorry it doesn't boot on your device. The tested devices are only honeycomb and Thelio Astra that do work, since RC1 no one has reported back to us if it works or not for them on their devices. David Lecompte <[email protected]> writes: > > I tried the Guix 1.5 aarch64 installer on it. On the display connected via > HDMI, after a while, there is a menu with two entries: Install GNU Guix 1.5 > and Firmware setup. In several boot attempts, I managed once to go to the > second menu by pressing the down arrow key on a USB keyboard, but between > the key press and the star changing to the second entry, it is more than 10 > seconds. A bit strange, but not sure if we will be able to do something about that. > > When the boot process continues, on the serial console, it ends up with a > guile prompt (there is nothing on the HDMI display at all): Great that you have a serial console, it makes debugging much more easier. > waiting for partition '31393730-3031-3031-3139-313133333833' to appear... > ice-9/boot-9.scm:1685:16: In procedure raise-exception: > failed to resolve partition "31393730-3031-3031-3139-313133333833" This is probably the most expected kind of issue with these images. They might be missing vendor specific modules for being able to load the installation media. You seem to have the installation media on a USB, is that right? > > I welcome any advice on how to proceed to install Guix on this board. I have tried looking at the device tree for rockpro64 and guessing few more modules that might be necessary. Care to try it? 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. Other than that you can also try flashing the image on an sd card instead of a USB. (but if that worked you probably would have trouble installing Guix to the sd card afterwards as you're booting from it) - then it would at least be possible to figure out all the modules necessary for supporting usb. And once we figure that out I can send you another image. Rutherther SHA256 91a0e08de4389dba4d814af9355da1f250419a5424ba2d6d661921e3e5694214 guix-system-install.rockpro64.iso Also signed by me at <link>.sig. > > Cheers, > David.
