Hi Stefan,
First of all, thanks for your great work to bring the Guix for RPi.
>Your troubles might indicate that you didn’t properly mount the ext4
>and FAT file systems below /mnt. You should follow the manual
>regarding an EFI system¹: Mount the ext4 partition of the microSD card
>at /mnt and the FAT partition of the microSD card at /mnt/boot/efi –
>you will have to call ‘mkdir -p /mnt/boot/efi’ after mounting the ext4
>partition and before mounting the FAT partition.
>
>> Do you have different suggestion on how to invoke the guix system
>> init command?
>
>Please separate build and installation. First build guix as described
>in the manual² without any sudo but inside its build environment with
>the amount of cores you like to use:
>
>$ guix environment --pure guix
>$ ./bootstrap
>$ ./configure --localstatedir=/var
>$ make -j 4
>$ exit
>
>Then use the new guix outside its build environment to initialize the
>system with sudo:
>
>$ sudo -E ./pre-inst-env guix system init --system=aarch64-linux
>gnu/system/examples/raspberry-pi-64.tmpl /mnt
I just followed your instructions from Guix host machine, but I faced
following error during the `guix system init process:
--8<---------------cut here---------------start------------->8---
@ unsupported-platform
/gnu/store/4dc56sq286h0pdvs0s6917vvzlr9xsrg-module-import-compiled.drv
aarch64-linux
while setting up the build environment: a `aarch64-linux' is required to build
`/gnu/store/4dc56sq286h0pdvs0s6917vvzlr9xsrg-module-import-compiled.drv', but I
am a `x86_64-linux'
--8<---------------cut here---------------end--------------->8---
it seems that the `--system=aarch64-linux` doesn't work as expected to
cross-compile the image for RPi.
here is more details about my build process:
- I tried to build the Guix for RPi compute module 4 with embedded 32GB
emmc.
- identified the `rootfs` and `boot` partitions using usbboot [1].
- mounted the `rootfs` to the `/mnt`
- created the `/mnt/boot/efi` prior to mounting the `boot` partition
there.
- added following required initrd modules to the system configuration.
--8<---------------cut here---------------start------------->8---
(initrd-modules (append (list "uas" "usb_storage")
%base-initrd-modules))
(initrd-modules (append (list "uas" "usb_storage")
%base-initrd-modules))
--8<---------------cut here---------------end--------------->8---
1. https://github.com/raspberrypi/usbboot
Best,
Reza
--
Reza Alizadeh Majd
PantherX Team
https://pantherx.org
