[bug#48314] [PATCH v3] Install guix system on Raspberry Pi

[Stefan]

Hi Vagrant!

> Just tested this on an rpi3b+ and sometime between u-boot 2021.01 and
> 2021.04 rpi-arm64 fails to boot on rpi3b+ ... 

IWithin my patch series there is one patch to modify a defconfig file. I 
enhanced that patch meanwhile to check, that lines in the modified defconfig 
show up in the final .config file. Last weekend I found out that several 
settings differ. I also updated the raspberry specific defconfigs, but the 
mismatches still remain.

My guess is, that the kernel has problems booting. Did GRUB show up?

> I feel confident at least
> adding a simple u-boot-rpi-3 and/or u-boot-rpi-3-b-plus package (without
> most of the proposed changes)

Please wait a bit longer, I addressed all your comments to U-Boot already.


Bye

Stefan