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

[phodina]

Thanks Maxime,

sorry for silly mistake.

Here are the updated patches. The last changes are part of the 4th patch in the 
patch set.

After build I installed it to the SD card using following command:

sudo -E ./pre-inst-env guix system init 
gnu/system/examples/raspberry-pi-64.tmpl /mnt

However, I experience an issue when login into the system. I can get there 
using my SSH key, but it seems the passwd set-uid binary is missing from the 
profile:

$ ssh pi@192.168.1.181
You are required to change your password immediately (administrator enforced).
WARNING: Your password has expired.
passwd: no such file or directory

I understand that the password is not set and the account is accessed through 
SSH so it asks after login to change it. How come it's possible to change it? I 
tried to add shadow into the packages, but the error said, it's already part of 
the system, so my guess is that it's just missing in the PATH variable. Could 
it be due to the fact it's present in /run/setuid-programs?

----
Petr

v5-0001-gnu-bootloader-Rework-chaining-add-grub-efi-netbo.patch
Description: Text Data

v5-0003-gnu-bootloader-Add-U-Boot-packages-for-Raspberry-.patch
Description: Text Data

v5-0007-gnu-raspberry-pi-New-function-to-make-a-package-w.patch
Description: Text Data

v5-0002-build-kconfig-Add-new-module-to-modify-a-defconfi.patch
Description: Text Data

v5-0004-gnu-linux-New-function-to-modify-the-configuratio.patch
Description: Text Data

v5-0006-gnu-raspberry-pi-Add-helpers-for-config.txt-file-.patch
Description: Text Data

v5-0005-gnu-raspberry-pi-Add-defconfig-objects-to-build-c.patch
Description: Text Data

v5-0008-gnu-raspberry-pi-Add-a-bootloader-chain-for-the-R.patch
Description: Text Data