Support for Raspberry Pi including some generic changes

[Stefan]

Hi!

I just sent a patch series¹ to add support for the Raspberry Pi. It consists of 
ten patches, however some of them are generic.

I’m writing to this list to gain some attention for this patch series, and also 
to point out some generic changes, which might be of interest for several 
people or may require some broader discussion.

There is a patch introducing a new function (modify-linux). It allows to modify 
a given Linux package on the base of some defconfig file with a list of 
configuration strings.

The defconfig base is either an own file-like object, a file name from the 
Linux sources, or generated from the given Linux package. In this last case the 
configuration of the given Linux package is used to save a temporary defconfig 
file, to which the configuration changes will then be done.

This can look like this (untested):

(operating-system
  (kernel (modify-linux #:linux linux-libre ;; This is the default
                        #:extra-version "net"
                        #:defconfig "x86_64_defconfig"
                        #:configs '("# CONFIG_LOCALVERSION is not set"
                                    "CONFIG_NFS_SWAP=y"
                                    "CONFIG_E1000=y")))
  …)

Another patch provides the bootloader grub-efi-netboot-removable-bootloader, 
which – although originally intended for netbooting – can also be used to 
install a Guix System on a USB stick to carry around.


Bye

Stefan


¹ <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=48314>