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>