;;; SPDX-License-Identifier: GPL-3.0-or-later
;;; SPDX-FileCopyrightText: 2026 Marek Paśnikowski <marek@marekpasnikowski.pl>

;;; COPYRIGHT NOTICE
;;;
;;; Copyright 2026, Marek Paśnikowski <marek@marekpasnikowski.pl>

;;; 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 <https://www.gnu.org/licenses/>.

(define-module (machines inspiron)
  ;; bootloader-configuration
  #:use-module (gnu bootloader)

  ;; grub-bootloader
  #:use-module (gnu bootloader grub)

  ;; 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))

;; 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* 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))))
    (list file-system-root)))

;; (list record* package)
(define-public firmware*
  (list linux-firmware))

;; (list string)
(define-public hardware-groups
  (list "audio"
	"netdev"
	"video"))

;; record* package
(define-public initrd*
  microcode-initrd)

;; record* package
(define-public kernel*
  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*)))