[DONE] Let's bring Guix / PantherX to Rasperry Pi

Inspired by a post on the mailing list Status of Guix System on Raspberry Pi?, I’m creating this topic to keep track of the latest developments and as a reminder for myself.

  • Raspberry Pi 3 - unsupported
  • Raspberry Pi 4 - unsupported
  • Compute Module 4 - unsupported

As of 17th August 2021

Latest Changes

This patch series adds support for the Raspberry Pi. It allows to use ‘sudo -E guix system init … /mnt’ with the root partition mounted at /mnt and the boot partition mounted at /mnt/boot/efi, as you would expect it for a PC with UEFI. Installing for netboot is possible as well.

It is currently not possible to build an image with this patch series, because of the intercepting handling for efi system image creation.

Existing resources

  • raspi-arm64-chainloader; based on rpi-open-firmware: Unfortunately there’s nobody to develop this further and many features are currently unsupported.

More info here: PantherX on Raspberry Pi 4