;; -*- mode: scheme; -*- ;; This is an operating-system configuration template of a ;; 64-bit minimal system for a Raspberry Pi with local storage. ;; 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-partition to be mounted as boot/efi in the same way ;; as it is usually expeted on PCs with UEFI firmware. (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 (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 (customize-linux #:linux linux-libre-arm64-generic ;; It is possible to use a specific defconfig ;; file, for example the "bcmrpi3_defconfig" with ;; the variable shown below. Unfortunately the ;; kernel built from the linux-libre sources with ;; this defconfig file does not boot. ;;#:extra-version "gnu-bcmrpi3" ;;#:defconfig %bcmrpi3-defconfig )) (initrd-modules '()) (file-systems (cons* (file-system (mount-point "/") (type "ext4") (device (file-system-label "Guix"))) (file-system (mount-point "/boot/efi") (type "vfat") (device (file-system-label "EFI"))) %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 report-page field. Change documented return value of exit-error. * gnu/installer/newt.scm (exit-error): Change arguments to be a string containing the error. Let the user choose between exiting and initiating a dump. (report-page): Add new variable. * gnu/installer/newt/page.scm (run-dump-page): New variable. * gnu/installer/newt/dump.scm: Delete it. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Josselin Poiret 2022-02-02installer: Add crash dump upload support....Suggested-by: Josselin Poiret <dev@jpoiret.xyz> * gnu/installer/dump.scm: New file. * gnu/installer/newt/dump.scm: New file. * gnu/local.mk (INSTALLER_MODULES): Add them. * gnu/installer/record.scm (<installer>)[dump-page]: New field. * gnu/installer/steps.scm (%current-result): New variable. (run-installer-steps): Update it. * gnu/installer.scm (installer-program): Add tar and gip to the installer path. Add guile-webutils and gnutls to the Guile extensions. Generate and send the crash dump report. * gnu/installer/newt.scm (exit-error): Add a report argument. Display the report id. (dump-page): New procedure. (newt-installer): Update it. Mathieu Othacehe