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

[phodina]

Hi Stefan!
>
> > Do you know how to fix this issue?
>
>
> Yes. Like on other EFI systems, you have to mount /dev/mmdblk0p1 on 
> /mnt/boot/efi.
>
> There is the usual bootloader installation fallback, to use the 
> bootloader-target argument for installation on /, if it is not existing below 
> /mnt. And this is happening in your case.
>
> I don’t understand why this common fallback got invented. I think it’s 
> actually dangerous. It could destroy your booted system, if you simply forgot 
> to mount the EFI system partition. I would prefer a clear error message.

Thanks. I've mounted the boot partition to /mnt/boot instead of /mnt/boot/efi.

I tend to agree with you as the default behaviour can damage the host system 
without a warning which is dangerous.

So now I get some weird guix error during copying files:

sudo -E ./pre-inst-env guix system init --target=aarch64-linux-gnu 
gnu/system/examples/raspberry-pi-64.tmpl /mnt -v 3
gnu/system/examples/raspberry-pi-64.tmpl:32:24: warning: the 'target' field is 
deprecated, please use 'targets' instead
gnu/system/examples/raspberry-pi-64.tmpl:27:2: warning: List elements of the 
field 'swap-devices' should now use the <swap-space> record, as the old method 
is deprecated. See "(guix) operating-system Reference" for more details.
/gnu/store/hhb5l2f5287xmfzz4jgvi15kb9bcqi33-system
/gnu/store/fiq006ykhc0dkninzz5gxl2nh3vzc37p-grub.cfg

initializing operating system under '/mnt'...
copying to '/mnt'...  [####################                                     
                                                    ]guix system: error: 
readdir: Bad message
copying to '/mnt'...

I've added the verbosity level 3 to print everything but I didn't get more info 
about what fails :-(

----
Petr