;;; 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 thinkpad-x200) ;; bootloader-configuration #:use-module (gnu bootloader) ;; grub-bootloader #:use-module (gnu bootloader grub) ;; file-system ;; swap-space #:use-module (gnu system file-systems)) ;; bootloader-configuration (define-public (bootloader-configuration* keyboard-layout*) (let ((bootloader* grub-bootloader) (bootloader-targets (list "/dev/sda")) ; TODO: generalize the target ) (bootloader-configuration (bootloader bootloader*) (targets bootloader-targets) (keyboard-layout keyboard-layout*)))) ;; 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*)))