;;; SPDX-License-Identifier: GPL-3.0-or-later ;;; SPDX-FileCopyrightText: 2026 Marek Paśnikowski ;;; COPYRIGHT NOTICE ;;; ;;; Copyright 2026, Marek Paśnikowski ;;; LICENSE NOTICE ;;; ;;; This library is free software: you can redistribute it and/or modify it under the terms of ;;; the GNU General Public License as published by the Free Software Foundation, ;;; either version 3 of the License, or (at your option) any later version. ;;; ;;; This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; ;;; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. ;;; See the GNU General Public License for more details. ;;; ;;; You should have received a copy of the GNU General Public License along with this library. ;;; If not, see . (define-module (machines amd64) ;; file-system ;; swap-space #:use-module (gnu system file-systems) ;; linux ;; linux-firmware #:use-module (nongnu packages linux) ;; microcode-initrd #:use-module (nongnu system linux-initrd)) ;; string -> ;; (list record* file-system) (define-public (file-systems* host-name*) (let* ((root-device-string (string-append host-name* "-root")) (root-device (file-system-label root-device-string)) (file-system-root (file-system (type "ext4") (mount-point "/") (device root-device)))) (append %base-file-systems (list file-system-root)))) ;; (list record* package) (define-public firmware* (list linux-firmware)) ;; record* package (define-public initrd* microcode-initrd) ;; record* package (define-public kernel-amd64 linux) ;; string -> ;; (list record* swap-space) (define-public (swap-devices* host-name*) (let* ((label* (string-append host-name* "-swap")) (target* (file-system-label label*)) (swap-space* (swap-space (target target*)))) (list swap-space*))) ;;;??????????????????????????????????????????????????????????????????? (define-public (bootloader-device-path host-name) (let* ((close-pipe (@ (ice-9 popen) close-pipe)) (open-input-pipe (@ (ice-9 popen) open-input-pipe)) (read-line (@ (ice-9 rdelim) read-line)) (command-chain (string-append "findmnt -o SOURCE,LABEL " "| grep " host-name " " "| head -n 1 " "| awk '{print $1}' " "| sed 's/[0-9]*$//' ")) (port (open-input-pipe command-chain)) (output (read-line port))) (close-pipe port) output))