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

[Stefan]

Hi Petr!

> I got it working also there.

Great!

Which Pi is it exactly? Did you use the same build as for your Pi 4? And the 
same firmware? Did you see the Linux-Libre gnus and early kernel messages after 
GRUB?

> I know there is some open source bootloader which is already packaged in Guix 
> `raspi-arm64-chainloader`. Maybe this would be the way in the future :-)

I never tried it. It may be possible.


Bye

Stefan