;; -*- mode: scheme; -*- ;; This is an operating-system configuration template of a ;; 64-bit minimal system for a Raspberry Pi with an NFS root file-system. ;; It neither installs firmware nor device-tree files for the Raspberry Pi. ;; It just assumes them to be existing in boot/efi in the same way that some ;; UEFI firmware with ACPI data is usually assumed to be existing on PCs. ;; It expects the boot/efi directory to be served via TFTP and the root ;; file-system to be served via NFS. See the grub-efi-netboot-bootloader ;; description in the manual for more details. (use-modules (gnu) (gnu artwork) (gnu system nss)) (use-service-modules admin avahi networking ssh) (use-package-modules certs linux raspberry-pi ssh) (define-public raspberry-pi-64-nfs-root (operating-system (host-name "raspberrypi-guix") (timezone "Europe/Berlin") (bootloader (bootloader-configuration (bootloader grub-efi-bootloader-chain-raspi-64) (targets (list "/boot/efi")) (theme (grub-theme (resolution '(1920 . 1080)) (image (file-append %artwork-repository "/grub/GuixSD-fully-black-16-9.svg")))))) (kernel-arguments '("ip=dhcp")) (kernel (customize-linux #:linux linux-libre-arm64-generic #:extra-version "arm64-generic-netboot" #:configs '("CONFIG_NFS_SWAP=y" "CONFIG_USB_USBNET=y" "CONFIG_USB_LAN78XX=y" "CONFIG_USB_NET_SMSC95XX=y"))) (initrd-modules '()) (file-systems (cons* (file-system (mount-point "/") (type "nfs") (device ":/export/raspberrypi/guix") (options "addr=10.20.30.40,vers=4.1")) %base-file-systems)) (swap-devices (list (swap-space (target "/run/swapfile")))) (users (cons* (user-account (name "pi") (group "users") (supplementary-groups '("wheel" "netdev" "audio" "video")) (home-directory "/home/pi")) %base-user-accounts)) (packages (cons* nss-certs openssh %base-packages)) (services (cons* (service avahi-service-type) (service dhcp-client-service-type) (service ntp-service-type) (service openssh-service-type (openssh-configuration (x11-forwarding? #t))) %base-services)) (name-service-switch %mdns-host-lookup-nss))) raspberry-pi-64-nfs-root , is confusing (i.e. its meaning is *not* boolean false, but unspecified) and it also passes silently through the symbol? predicate of a field of type symbol. * gnu/services/configuration.scm (configuration-missing-default-value): Renamed from configuration-no-default-value. (define-maybe-helper): Use *unspecified* instead of 'disabled, and make the default value optional. * gnu/home/services/desktop.scm (home-redshift-configuration): Change (maybe-xyz 'disabled) to maybe-xyz. * gnu/services/authentication.scm (nslcd-configuration): Likewise. * gnu/services/cgit.scm (repository-cgit-configuration): Likewise. * gnu/services/file-sharing.scm (serialize-maybe-string) (serialize-maybe-file-object): Use 'unspecified?' instead of (eq? val 'disabled). * gnu/services/messaging.scm (raw-content?): Likewise. (ssl-configuration): Change (maybe-xyz 'disabled) to maybe-xyz. (prosody-configuration): Likewise. * gnu/services/file-sharing.scm (transmission-daemon-configuration): Likewise. * gnu/services/messaging.scm (define-all-configurations): Use *unspecified* instead of 'disabled'. * gnu/services/networking.scm (opendht-configuration): Likewise. * gnu/services/pm.scm (tlp-configuration): Likewise. * gnu/services/telephony.scm (jami-account): Likewise. (jami-configuration): Likewise. * gnu/services/vpn.scm (openvpn-client-configuration): Likewise. * tests/services/configuration.scm ("maybe type, no default") ("maybe type, with default"): New tests. Signed-off-by: Ludovic Courtès <ludo@gnu.org>