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

[Stefan]

Hi Petr!

> Vagrant has valid points about the patches.
> 
> Stefan do you want to address them or shall I?

I have already patches to address the review comments from Vagrant, actually 
for months; also including improvements (e.g. checking that defconfig changes 
are successfully applied, which is not guaranteed).

Beside a lack of time, it is as you said: Building with 1 GB RAM is very 
problematic. Swap space is a requirement. Building takes days, using make with 
sub-targets helps a bit. In recent Linux kernels the virtual memory handling is 
badly broken; the build process gets killed, although there is empty swap 
space. Only version 5.4 is still fine. Without other hardware offloading or 
cross-building is not an option. Substitutes of guix, Linux, which needs 
special config settings, U-Boot and I think GRUB, are not – can’t be – 
available. Last time I tried at least qemu – an input of GRUB – had build 
issues on aarch64 and was missing a substitute. For Linux I meanwhile need to 
remove the deblob-check, as it even exhausts my swap space.

I’m hesitant to submit my untestet patches. I hope to find some time on the 
weekend – and that I don’t make mistakes, as my turn-around-time is close to a 
week. ;-)

By the way: I have the feeling that a garbage-collector may be a real 
bottle-neck, if most of a process’ memory is swapped out. I was surprised to 
not find papers about this. And once I was looking for options to limit the 
Guile heap, but didn’t find anything helpful.

> It runs fine on Raspberry Pi 4 where there is 4GiB of memory

This is good to know, thanks!

Would you mind, if I send untested patches, which you could pick up? Is there a 
possibility to offload to ci.guix.gnu.org? 


Bye

Stefan