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

From: Stefan <[email-masked]>
Date: Sun, 14 Aug 2022 13:35:13 +0200

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