;; -*- 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") (timez
aboutsummaryrefslogtreecommitdiff |