I am currently trying to build a virtual machine image for powerpc64le. So I intend to fix known errors, starting with the bootloader: configure: error: platform "efi" is not supported for target CPU "powerpc64le". The right bootloader variant for anything powerpc, starting from G4 is openfirmware. Here is some part of my config:
(bootloader (bootloader-configuration (bootloader grub-bootloader) (targets '("/dev/sda")))) Now I am trying to understand where guix selects BIOS/UEFI for a VM when using grub-bootloader.